theorem :: XBOOLEAN:41

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