Binary Parallel Adder Truth Table Solver