lovelyfather的博客

Tautology POJ - 3295 题目链接：https://vjudge.net/problem/POJ-3295 题意：p,q,r,s,tp,q,r,s,tp,q,r,s,t都是公式里的变量，K,A,N,C,EK,A,N,C,EK,A,N,C,E是运算符。分别代表and,or,not,implies,equaland,or,not,implies,equaland,or,not,implies,equal运算。运算符真值表如下。 p,q,r,s,tp,q,r,s,tp,q,r,s,t是公式 如果