theorem :: XBOOLEAN:6

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