A disjunção de um produto composto dos elementos a e b e um produto composto do elemento a e o complemento do elemento do elemento b é equivalente ao elemento a. A conjunção de uma soma composta dos elementos a e b e a soma composta do elemento a e o complemento do elemento b é equivalente ao elemento a. A figura abaixo mostra os circuitos lógicos equivalentes.

Expansão:
Notação matemática:
(a ∩ b) u (a ∩ b’) = a
(a u b) ∩ (a u b’) = a
Notação lógica:
(a Λ b) v (a Λ ~b) = a
(a v b) Λ (a v ~b) = a
Leia mais: