A CPP program that receives user input formulas, outputs truth tables, main disjunction paradigms and principal conjunction paradigms, and formula types.