§ 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)
• Extend by linearity?