theorem :: XBOOLEAN:135

for p being boolean object holds p 'nand' ('not' p) = TRUE