Tautology(POJ 3295编译原理)

~题目链接~

 http://poj.org/problem?id=3295

输入

ApNp
ApNq
0

结果

tautology
not

 1.要把p,q,r,s,t的所有取值都搜索一遍

 2.'K'  a&b; 'A'  a||b; 'N' !a; 'C'  !a||b;'E' a==b;

 3.如果为永真式,输出tautology;否则 not

  

 

posted @   Locke_Q  阅读(322)  评论(0编辑  收藏  举报
努力加载评论中...
点击右上角即可分享
微信分享提示