In this chapter, we turn to a topic in mathematical logic called propositional logic. Propositional logic is a key tool in logical reasoning and is used to understand and even generate precise proofs. Our attraction to propositional logic is ignited by the ability to represent Boolean functions by Boolean formulas. Some Boolean functions can be represented by short Boolean formulas, thus offering a concise and precise way to describe Boolean functions.
6.1 BOOLEAN FORMULAS
Building Blocks. The building blocks of a Boolean formula are constants, variables, and connectives.