Tautology（暴力，永真式）

题意

这题题意比较难理解
pqrst是五个逻辑变量，只有两种情况0或1
KANCE是五种运算：
K: t1=t2=1, 结果为1
A: t1=t2=0, 结果为1
N: t1=0, 结果为1
C: ! t1=t2=0, 结果为1
E: t1=t2, 结果为1
问是否有可能无论pqrst如何取值，表达式永远为真

思路

因为只有5个数pqrst，所以可以枚举出来每个数的情况（0或1），只有pow(2,5)=32种。
然后对于每个确定pqrst值的情况判段表达式是否成立，用栈来实现，
对表达式从后往前运算。因为前面的计算的都是后面的值的，所以先算后面的。

代码

#include<stdio.h>
#include<string.h>
#include<algorithm>
#define N 110
char a[N];
int S[N];
int p,q,r,s,t;
void fore()
{int k=0,t1,t2;int l=strlen(a);for(int i=l-1;i>=0;i--){if(a[i]=='p') S[k++]=p;else if(a[i]=='q') S[k++]=q;else if(a[i]=='r') S[k++]=r;else if(a[i]=='s') S[k++]=s;else if(a[i]=='t') S[k++]=t;else if(a[i]=='K'){t1=S[--k];t2=S[--k];S[k++]=(t1&&t2);}else if(a[i]=='A'){t1=S[--k];t2=S[--k];S[k++]=(t1||t2);}else if(a[i]=='N'){t1=S[--k];S[k++]=(!t1);}else if(a[i]=='C'){t1=S[--k];t2=S[--k];if(t1==1&&t2==0) S[k++]=0;else S[k++]=1;}else if(a[i]=='E'){t1=S[--k];t2=S[--k];if(t1==t2) S[k++]=1;else S[k++]=0;}}
}
bool slove()
{for(p=0; p<=1; p++)for(q=0; q<=1; q++)for(r=0; r<=1; r++)for(s=0; s<=1; s++)for(t=0; t<=1; t++){fore();if(!S[0]) return 0;}return 1;
}
int main()
{while(gets(a)&&a[0]!='0'){if(slove())printf("tautology\n");elseprintf("not\n");}return 0;
}

Tautology（暴力，永真式）相关推荐

E - Tautology(永真式)
题目描述 WFF 'N PROOF is a logic game played with dice. Each die has six faces representing some subset ...
POJ 3295: Tautology 递归的永真式
原题链接:Tautology 题目大意:p.q.r.s.t是逻辑变量,K.A.N.C.E是逻辑操作,相应的真值表已经给出.要求给定一个逻辑表达式,判断其是否为永真式,即无论其中的逻辑变量取值如何,其结 ...
【数理逻辑】谓词逻辑 ( 判断一阶谓词逻辑公式真假 | 解释 | 示例 | 谓词逻辑公式类型 | 永真式 | 永假式 | 可满足式 | 等值式 )
文章目录一. 判断谓词逻辑公式真假 ( 语义 ) 二. 谓词逻辑 "解释" 三. 谓词逻辑 "解释" 示例四. 谓词逻辑公式类型一. 判断谓词逻辑公式真假 ...
【数理逻辑】命题逻辑 ( 命题逻辑推理正确性判定 | 形式结构是永真式 - 等值演算 | 从前提推演结论 - 逻辑推理 )
文章目录一. 命题逻辑推理正确性判定二. 形式结构是永真式 ( 等值演算 ) 三. 从前提推演结论 ( 逻辑推理 ) 一. 命题逻辑推理正确性判定命题推理 , 根据前提 , 推理出结论 ; ...
strlen“好神奇”，永真式——if(strlen(q) - strlen(p) = 0)
今天突然发现神奇的一幕这个if中居然是个永真式怎么可能 char *p = "aaaaaaaa";char *q = "ssss";int x = strl ...
pvq真值表_不用真值表证明(p-q)且(q-r)-(p-r)是永真式
满意答案 xyb830529 2013.09.03 采纳率:58% 等级:12 已帮助:5867人展开全部列一个真值表: p q r s 式子 1 0 0 0 -- 共2^4=16项,如果都 ...
hibernate自动添加永真1=1，导致Druid sql防火墙报错的问题
2019独角兽企业重金招聘Python工程师标准>>> 原文及更多文章请见个人博客:http://heartlifes.com 最近工程突然报错: java.sql.SQLExcep ...
mysql 永真_sql注入
Sql注入 Sql注入成因: 1)转义字符处理不当(如',--,/**/,会截断原有的语句,执行新语句): 2)类型处理不当(如接受的是整型的参数,并没有校验也可以接受字符型数据) 3)查询语句的组装 ...
python永真循环_《Python语言程序设计》 —2.5.5　continue
2.5.5 continue continue语句用于结束本次循环并开始下一次循环.与break类似,对于多重循环情况,continue语句作用于它所在的最近的那重循环.例如,对于代码清单2-25,其 ...
python永真循环_python永真循环_Python学习（一）
一.Python中的变量定义与JAVA类似 1.由字母数字下划线构成 2.首字母不能为数字 3.不用关键字二.常量全部由大写字母构成,不更改它,实际上可更改三.注释单行注释:# 多行注释:三 ...

Tautology（暴力，永真式）

题意

思路

代码

Tautology（暴力，永真式）相关推荐

最新文章

热门文章