theorem :: XBOOLEAN:67

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