theorem :: XBOOLEAN:31

for p being boolean object holds p 'nor' p = 'not' p ;