:: deftheorem defines 'nor' XBOOLEAN:def 10 :
for p, q being boolean object holds p 'nor' q = 'not' (p 'or' q);