题意简述
输入长度≤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 解题报告”