Introduction - If you have any usage issues, please Google them yourself
Given any one of the well-formed formula (not more than four propositional variables), so that students will use C language statements that come out, and it is able to calculate the true value assigned to each group should be under the true value.