Tag: 位运算

POJ-3295 解题报告

题意简述 输入长度≤100的由K,A,N,C,E,p,q,r,s,t组成的逻辑表达式，其中K,A,N,C,E分别代表与，或，非，条件，等价，小写字母为命题变量。 若该式为永真式，则输出tautology，否则输出not 输入数据有多组，遇0停止输入。