theorem :: XBOOLEAN:52

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