theorem :: XBOOLEAN:134

for p being boolean object holds 'not' (p 'nor' ('not' p)) = TRUE