poj3295
本题中最多5个命题变项:p,q,r,s,t
每个有0,1两种取值,所以总共32种情况,分别枚举即可。
对于每种情况,计算表达式的值,如果有结果为0的则输出not
难点在于如何计算表达式的值,我们采用递归的方法,把表达式分为一或两个子表达式,并把参数end(本表达式的结束位置)传给上一层,一遍上一层获取第二个子表达式的起始位置。最后通过两个子表达式的结束位置,得到整个表达式的结束位置。
end是本表达式的最后一位的下标,即本表达式的长度减一。
所以 end = 2 + end1 + end2;
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 | #include <iostream> #include <cstdio> #include <cstring> #include <cstdlib> using namespace std; string p; bool v[5]; bool getValue(string p, int &end) { bool a, b; int end1, end2; if (p[0] >= 'p' ) { end = 0; return v[p[0] - 'p' ]; } if (p[0] == 'N' ) { a = getValue(p.substr(1, p.length() - 1), end1); end = end1 + 1; return !a; } a = getValue(p.substr(1, p.length() - 1), end1); b = getValue(p.substr(end1 + 2, p.length() - 1), end2); end = 2 + end1 + end2; switch (p[0]) { case 'K' : return a && b; case 'A' : return a || b; case 'C' : return !a || b; case 'E' : return !(a ^ b); } return 0; } int main() { bool ok; freopen ( "D:\\t.txt" , "r" , stdin); while (getline(cin, p) && p != "0" ) { ok = true ; for ( int i = 0; i < 32; i++) { for ( int j = 0; j < 5; j++) v[j] = (i >> j) % 2; int x; if (!getValue(p, x)) { ok = false ; break ; } } if (ok) cout << "tautology" << endl; else cout << "not" << endl; } return 0; } |
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】凌霞软件回馈社区,博客园 & 1Panel & Halo 联合会员上线
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】博客园社区专享云产品让利特惠,阿里云新客6.5折上折
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· 为什么说在企业级应用开发中,后端往往是效率杀手?
· 用 C# 插值字符串处理器写一个 sscanf
· Java 中堆内存和栈内存上的数据分布和特点
· 开发中对象命名的一点思考
· .NET Core内存结构体系(Windows环境)底层原理浅谈
· 为什么说在企业级应用开发中,后端往往是效率杀手?
· 本地部署DeepSeek后,没有好看的交互界面怎么行!
· DeepSeek 解答了困扰我五年的技术问题。时代确实变了!
· 趁着过年的时候手搓了一个低代码框架
· 推荐一个DeepSeek 大模型的免费 API 项目!兼容OpenAI接口!