theorem :: XBOOLEAN:145

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