theorem :: XBOOLEAN:146

for p, q being boolean object holds p 'nor' (p 'nand' q) = FALSE