Scribd
Upload
142 views2 pages

Laws and Theorems of Boolean Algebra

This document outlines 15 laws and theorems of Boolean algebra, including identity, idempotent, commutative, associative, distributive, de Morgan's, absorption, redundancy, and consensus laws. It also defines the logic gates for AND, OR, NAND, NOR, XOR, and XNOR in terms of their truth tables and Boolean expressions.

Uploaded by

PS
Copyright
© © All Rights Reserved
Available Formats
Download as PDF, TXT or read online on Scribd
Download as pdf or txt
142 views2 pages

Laws and Theorems of Boolean Algebra

This document outlines 15 laws and theorems of Boolean algebra, including identity, idempotent, commutative, associative, distributive, de Morgan's, absorption, redundancy, and consensus laws. It also defines the logic gates for AND, OR, NAND, NOR, XOR, and XNOR in terms of their truth tables and Boolean expressions.

Uploaded by

PS
Copyright
© © All Rights Reserved
Available Formats
Download as PDF, TXT or read online on Scribd
Download as pdf or txt
Download as pdf or txt
You are on page 1/ 2

1/16/2020 Laws and Theorems of Boolean Algebra

Laws and Theorems of Boolean Algebra


1a. X•0=0 1b. X+1=1 Annulment Law
2a. X•1=X 2b. X+0=X Identity Law
3a. X•X=X 3b. X+X=X Idempotent Law
4a. X•X=0 4b. X+X=1 Complement Law
5. X=X Double Negation Law
6a. X•Y=Y•X 6b. X+Y=Y+X Commutative Law
7a. X (Y Z) = (X Y) Z = (X Z) Y = X Y Z Associative Law
7b. X + (Y + Z) = (X + Y) + Z = (X + Z) + Y = X + Y + Z Associative Law
8a. X • (Y + Z) = X Y + X Z 8b. X + Y Z = (X + Y) • (X + Z) Distributive Law
9a. X•Y=X+Y 9b. X+Y=X•Y de Morgan's Theorem
10a. X • (X + Y) = X 10b. X + X Y = X Absorption Law
11a. (X + Y) • (X + Y) = X 11b. X Y + X Y = X Redundancy Law
12a. (X + Y) • Y = XY 12b. X Y + Y = X + Y Redundancy Law
13a. (X + Y) • (X + Z) • (Y + Z) = (X + Y) • (X + Z) Consensus Law
13b. X Y + X Z + Y Z = X Y + X Z Consensus Law
14a. X ⊕ Y = (X + Y) • (X + Y) 14b. X ⊕ Y = X Y + X Y XOR Gate
https://www.mi.mun.ca/users/cchaulk/misc/boolean.htm 1/2
1/16/2020 Laws and Theorems of Boolean Algebra

15a. X ⊙ Y = (X + Y) • (X • Y) 15b. X ⊙ Y = X Y + X Y XNOR Gate


15c. X ⊙ Y = (X + Y) • (X + Y) XNOR Gate

Gates
Standard DeMorgan's
NAND X=A•B X=A+B

A A
X X
B B

AND X=A•B X=A+B

A A
X X
B B
NOR X=A+B X=A•B

A A
X X
B B

OR X=A+B X=A•B

A A
X X
B B

https://www.mi.mun.ca/users/cchaulk/misc/boolean.htm 2/2

You might also like