O'Reilly logo

Digital Logic Design: A Rigorous Approach by Moti Medina, Guy Even

Stay ahead with the world's most comprehensive technology and business learning platform.

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

Start Free Trial

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.

Start Free Trial

No credit card required