Discrete Math and Computer Science

Using C++, write a program that accepts a compound propositional logic statement and gives the following as an output:

a. A truth table for the expression starting from individual propositional logic statements

and showing all intermediate steps.

b. A simplified version of the statement (ONLY if it is possible to simplify the expression

using inference rules).