theorem :: XBOOLEAN:66

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