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