theorem :: XBOOLEAN:96

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