Truth table for full-adder subcircuit
Full-adder circuit
Tests for full-adder circuit