theorem :: XBOOLEAN:39

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