theorem :: XBOOLEAN:64

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