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