Professional Documents
Culture Documents
DeMorgan’s Theorem #1
A · B = A + B
A B AB AB 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
EQUAL
DeMorgan’s Theorem #1
A · B = A + B
A A
B
= B
B
= B
( 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