Se um elemento a é equivalente ao complemento de um elemento b isso implica que o elemento b é equivalente ao complemento do elemento a. A figura abaixo representa o diagrama lógico equivalente.

 


 

 

 

Contraposição:

 

 

 

Notação matemática: