2017年1月31日
A1049. 命题逻辑
摘要： 题目http://www.tsinsen.com/A1049 这道题的目的是是求一个命题表达式是否恒正确或者衡错误，但是她很贴心的把表达式中的子式拆开。举个例子(!p+p)^(!a+a),他会拆分成： A1 !p+p A2 !a+a A3 A1^A2 显然A1，2，3都是重言式。 于是这道题的思路就 阅读全文
posted @ 2017-01-31 23:44 甜豆儿 阅读(391) 评论(0) 推荐(0) 编辑