theorem :: XBOOLEAN:140

for p, q being boolean object holds
( not p '&' q = FALSE or p = FALSE or q = FALSE ) ;