theorem :: XBOOLEAN:80

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