theorem :: XBOOLEAN:144

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