theorem :: XBOOLEAN:61

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