theorem :: XBOOLEAN:58

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