How do I create a truth table that specifies the input/output mapping of this circuit? I need to design a combinational circuit, that multiplies two numbers together, and outputs the result or "product".