theorem :: XBOOLEAN:86

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