Introduction - If you have any usage issues, please Google them yourself
The truth table for solving arbitrary propositional formula, read from the file into the " propositional formula," The disadvantage is that: Proposition argument default is 4, when the number of propositional variables must be modified after changes in the source code NUM