theorem :: XBOOLEAN:47

for p, q being boolean object holds p 'nor' (p <=> q) = ('not' p) '&' q