circuit and proof sample (using truth table) for full adder
factored out an algebra for circuit evaluation, and moved the boolean-specific instance to own module