## With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

No credit card required

 CHAPTER 6 Propositional Logic

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.

1. A constant is either 0 or 1. As in the case of bits, we interpret a 1 as “true” and a 0 as “false.” The terms constant and bit are synonyms; ...

## With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

No credit card required