anticoincidence
InBoolean algebra the logical relations are realized by logics.
Beside the conjunction, the logical and- connection, there is the disjunction, the logical or-connection, the negation, the inversion of the logical state and the antivalence. The latter is called anticoincidence and thus expresses that the logical states are not coincident.
The logic function of anticoincidence is fulfilled by the XOR gate. The output has the state "1" if all inputs are different, i.e. not coincident. The output is "0" if all inputs are the same.