Introduction - If you have any usage issues, please Google them yourself
The so-called propositional calculus formula refers to the logical variable (its value is TRUE or FALSE) and logical operators ∧ (AND), ∨ (OR) and ┐ (NOT) the formula for the composition according to certain rules (contains sort of operations can be used ∧, ∨ and ┐). The formula for computing the order for a ┐, ∧, ∨, and parentheses () can change the priorities. Given a propositional calculus formula and the value of a variable, to design a program to calculate the true value of the formula.