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:
Leia mais: