theorem :: XBOOLEAN:84

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