Closed cjdrake closed 8 years ago
a [b (+) c] <=> ab (+) ac ~a <=> 1 (+) a a + b + c <=> a (+) b (+) c (+) ab (+) ac (+) bc (+) abc eq(a, b, c) <=> 1 (+) a (+) b (+) c (+) ab (+) ac (+) bc a => b <=> 1 (+) a (+) ab s ? d1 : d0 <=> s * d1 (+) s * d0 (+) d0