You are on page 1of 9

DeMorgan’s Theorems

DeMorgan’s Theorem #1
A · B = A + B
A B AB AB A B A+B
0 0 0 1 1 1 1
0 1 0 1 1 0 1
1 0 0 1 0 1 1
1 1 1 0 0 0 0

EQUAL
DeMorgan’s Theorem #2
A + B = A · B

A B A+B A+B A B AxB


0 0 0 1 1 1 1
0 1 1 0 1 0 0
1 0 1 0 0 1 0
1 1 1 0 0 0 0

EQUAL
DeMorgan’s Theorem #1
A · B = A + B
A A

B
= B

Invert output of an Invert the inputs of an


AND gate OR gate
DeMorgan’s Theorem #2
A + B = A · B
A A

B
= B

Invert output of an Invert the inputs of an


OR gate AND gate
DeMorganizing an Expression

( AC )  ( BC )  ( A  C )( BC )  X
DeMorg. ( AC )( BC )(( A  C )( BC ))  X
A A ( AC )( BC )(( A  C )( BC ))  X
DeMorg. ( AC )( B  C )(( A  C )( BC ))  X
Dist. ( AC B  AC C )(( A  C )( BC ))  X
DeMorganizing an Expression

( AC B  AC C )(( A  C )( BC ))  X

AA  0 ( AC B  A0)(( A  C )( BC ))  X
A0  0 ( AC B  0)(( A  C )( BC ))  X
A 0  A ( AC B )(( A  C )( BC ))  X
DeMorg ( AC B)(( A  C )  ( BC ))  X
DeMorganizing an Expression

( AC B )(( A  C )  ( BC ))  X

DeMorg ( AC B )(( AC )  ( B  C ))  X
Assoc. ( AC B )( AC  B  C )  X
Dist. AC B AC  AC B B  AC BC  X
A0  0 0C BC  AC B B  AB0  X
A 0  A 0  AC B B  0  X
DeMorganizing an Expression

0  AC B B  0  X

A 0  A AC B B  X

AA  A AC B  X

You might also like