Scribd
Upload
210 views

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
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
210 views

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
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
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