Teoremas Booleanos
(1)
(2)
(3)
(4)
(5)
(6)
(7)
(8)
(9)
(10)
(11)
(12)
(13a)
(13b)
(14)
(15a)
(15b)
Exemplos
(a)
(b)
(c)
(d)
(e)
(f)
(g)
DeMORGAN
(16)
(17)
Exemplos
<math>\bar A\bar B\bar C\bar D+\bar A\bar B\bar CD+\bar AB\bar C\bar D+\bar AB\bar CD + ABCD + A\bar B\bar C\bar D+A\bar B\bar CD+A\bar BC\bar D+ A\bar BCD