## 3.4 BOOLEAN AXIOMS AND THEOREMS

The basic logic operations include logic sum, logic product, and logic complement. If a logic variable is true, its logic complement is false. The following set of logic expressions illustrates the axioms of Boolean algebra:

• 0 * 0 = 0
• 0 + 0 = 0
• 1 * 1 = 1
• 1 + 1 = 1
• 0 * 1 = 1 * 0 = 0
• 0 + 1 = 1 + 0 = 1
• if x = 0, then = 1
• if x = 1; then = 0

The character (*) represents the AND logic product, and the character (+) stands for the OR logic sum. A bar over a character represents the NOT logic. From these logic axioms, basic Boolean identities were formulated. The following expressions illustrate these identities.

• x + 0 = x
• x * 1 = x
• x + 1 = 1
• x * 0 = 0

• x + x = x
• x * x = x

### Complement Property

• x + = 1
• x * = 0

### Involution Property ### Commutative Property

• x + y = y + x
• x * y = y * x

### Associative Property

• x + (y + z) = (x + y) + z
• x * (y * z) = (x * y) * z

### Distributive Property

• x * (y + z) = (x * y) + (x * z)
• x + (y * ...

Get Introduction to Digital Systems: Modeling, Synthesis, and Simulation Using VHDL now with O’Reilly online learning.

O’Reilly members experience live online training, plus books, videos, and digital content from 200+ publishers.