harold, 2 months ago

IDK what to call these things with 3 non-identical ops simplifying into 1, but it's neat

((a & b) + (a | b)) == (a + b)
((a & b) + (a ^ b)) == (a | b)
((a | b) - (a ^ b)) == (a & b)
((a + b) - (a | b)) == (a & b)
((a + b) - (a & b)) == (a | b)
((a | b) - (a & b)) == (a ^ b)