恒真式
| 成绩 | 100 | 开启时间 | 2020年06月4日 星期四 07:40 |
| 折扣 | 0.8 | 折扣时间 | 2020年06月4日 星期四 07:40 |
| 允许迟交 | 是 | 关闭时间 | 2020年06月4日 星期四 07:40 |
| 输入文件 | tautology.in | 输出文件 | tautology.out |
【题目描述】恒真式（tautology）POJ 3295
K、A、N、C、E分别表示与、或、非、包含于、相等5种逻辑运算，例如当a和b两个变量取值范围为0或1时，运算规则如表2.3所示。
表2.3
|
K |
A |
N |
C |
E |
|
a&&b |
a||b |
!a |
!a||b |
a==b |
现有包含最多5个变量p、q、r、s、t（值只能为0或者1）的前序表达式，试判断在变量的各种取值情况下，表达式为恒真式。例如ApNp为恒真式，而ApNq不是恒真式，因为当p＝0，q＝1时，表达式的值为0。
【输入格式】
数据有多组，每组一行表达式，长度不超过100个字符，全部结束以0表示。
【输出格式】
对于每组表达式，如果是恒真式输出“tautology”，否则输出“not”。
【输入样例】
ApNp
ApNq
0
【输出样例】
tautology
not