theorem :: XBOOLEAN:48

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