Well, I guess ``math''! While most of the Boolean rules are
consistent with our everyday logic intution (subject to the caveat
that the meaning of ``
'' is not the everyday meaning of exclusive OR but
Boolean-defined OR), you can derive all the rules from today
using the basic truth tables of AND, OR and NOT.