theorem :: XBOOLEAN:62

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