theorem :: XBOOLEAN:89

for p, q being boolean object holds ('not' p) 'xor' (p <=> q) = q