可以判读表达式是否为重言式 ,可以输入变量的值，然后求出表达式的值 , 可以给出逻辑表达式的结果 -Whether the expression can be interpreted as a tautology, you can enter the value of the variable, and then find the value of the expression, the result of logical expression can be given