theorem :: XBOOLEAN:55

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