theorem :: XBOOLEAN:98

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