theorem :: XBOOLEAN:95

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