theorem :: XBOOLEAN:49

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