A =
B =
A&B =
A|B =
~A =
~B =
A^B = (A|B)&(~A|~B) =