Introduction - If you have any usage issues, please Google them yourself
1 this procedure in the C++ Visual environment to run, the implementation of the document is: ZYSBB.cpp
2 after running the program, display student information, and then prompts the user to enter the number of variables, and then enter the logical expression (variable according to B, A, C... Input in capital letters.
3. If the type is a tautology or contradiction, it shows that the expression is tautology or expression is paradox otherwise display expression is not a tautology, nor is it contradictory
4 and then displays the two menu items for the user to choose:* human-computer interaction input (E/e) display the truth table (Z/z)*
According to the E/e and user interaction input, according to the set of variable values, the value of the logical expression according to (Z/z) then the logical expression of the true value of the table.