Hence, the output of these 6 examples has exactly one of the truth representations, making it recursively compatible with further combinations of operators.
we can combine these operators to construct any propositional logic function of any number of inputs (including xor).