theorem :: XBOOLEAN:46

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