theorem :: XBOOLEAN:138

for p being boolean object holds p '&' ('not' p) = FALSE