The two theorems suggested by De Morgan which are extremely useful in Boolean Algebra are as following:
Theorem 1
\(\over A . B\) = \(\bar A
\) + \(\bar B\)
NAND = Bubbled
OR
Table showing verification of the De Morgans’s first theorem
Theorem 2
\(\over A + B\)= \(\bar A\)+ \(\bar B\)
NOR = Bubbled AND
Table showing verification of the De Morgans’s second theorem