a + b = (a or b) + (a and b)
0 + 0 = or(0, 0) + and(0, 0)
0 + 1 = or(0, 1) + and(0, 1)
1 + 1 = or(1, 1) + and(1, 1)