If an element “a” is equivalent to the complement of an element “b” it is implied that the element “b” is equivalent to the complement of the element “a”. Figure 1 shows the equivalent diagram.

Figure 1

Contraposition:

Mathematic Notation: