theorem :: BINARITH:13

TRUE 'xor' FALSE = TRUE ;