Full Adder Boolean Algebra