De Morgan's Theorem

De Morgan's Theorem 1:

The complement of the sum of two or more variables is equal to the product of the complement of the variables.

De Morgan's Theorem 2:

The complement of the product of two or more variables is equal to the sum of the complements of the variables.

For two variables A and B these theorems are written in Boolean notation as follows

A + B = A . B

A + B = A + B

The two theorems are proved below.

To prove

A + B = A . B

Since each variable can have a value either 0 or 1, the following four cases arise:

Demorgan's Theorem Prove Equation

Since, in every case the left hand side equals the right hand side, the theorem is proved.

To prove

A + B = A + B

Since each variable can have a value either 0 or 1, the following four cases arise:

Demorgan's Theorem Equation

As all possible combinations of A and B are exhausted, the theorem is proved.

Consensus:

(a) AB + A C + BC = AB + AC

(b) (A + B)(A + C)(B + C) = (A + B)(A + C)

Let us prove part (a) algebrically,

(a) AB + A C + BC = AB + AC

= AB + A C + BC.1

= AB + A C + BC.(A + A )

= AB + A C + ABC + A BC

= AB + ABC +A C + A BC

= AB (C + 1) + A (B + 1)

AB . 1 + A C . 1

AB + A C

Part (b) is the dual of part (a) and can be similarly proved.

If we want to prove that (b) by truth table method, we can do so by enumerating all the eight possible combinations.

ABCA+BA+CB+CLHRRHS
00001000
00101100
01011111
01111111
10010000
10111111
11010100
11111111