theorem :: XBOOLEAN:78

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