Use the MultiSIM truth table creator in the Logic Converter Tool to verify that the variable theorems, T7, T8' and T10 are true.

Use the MultiSIM truth table creator in the Logic Converter Tool to verify that the variable theorems, T7, T8' and T10 are true. This requires the construction of two gate level circuits for each theorem - one for the left side of the Boolean expression and another for the right side. If the theorem is true, the truth tables generated for the left and right sides should be identical. (Note: No switches or probes are needed because the logic converter handles it.)