Discrete Mathematics and Its Applications | 1 CHAPTER The Foundations: Logic and Proofs | 1.2 Applications of Propositional Logic Translating English Sentences System Specifications Boolean Searches Logic Puzzles Logic Circuits