theorem :: XBOOLEAN:40

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