Conjunction
Equivalence
Inversion
Inequality
Disjunction
Exclusive disjunction