更多“已知公式ㄱ(q→p)∧p是矛盾式,求公式ㄱ(q→p)∧p∧ㄱ…”相关的问题
第1题
已知(?(p→q)∧q)∨(?(?q∨p)∧p)是矛盾式,试判断公式?(p→q)∧q及?(?q∨p)∧p的类型。
点击查看答案
第2题
已知公式(p∧q)→p是重言式,求公式((p∧q)→p)Ⅴr的成真赋值和成假赋值。
点击查看答案
第3题
已知(p→(p∨q))∧((p∧q)→p)是重言式,试判断公式p→(p∨q)及(p∧q)→p的类型。
点击查看答案
第4题
已知p→(p∨q)是重言式,?(p→q)∧q是矛盾式,试判断(p→(p∨q))∧(?(p→q)∧q)及(p→(p∨q))∨(?(p→q)∧q)的类型。
点击查看答案
第5题
用消解原理证明p∧(?p∨q)∧(?r)∧(?p∨?q∨r)是矛盾式。
点击查看答案
第6题
设A=(p→(p∧q))∨r,B=(?p∨q)∧(?r→q),判断A与B是否等值。
点击查看答案
第7题
用等值演算法判断下列公式的类型,对不是重言式的可满足式,再用真值表法求出成真赋值。(1)?(p∧q→q);(2)(p→(p∨q))∨(p→r);(3)(p∨q)→(p∧r)。
点击查看答案
第8题
用主合取范式判断下列公式是否等值。(1)p→(q→r)与?(p∧q)∨r;(2)p→(q→r)与(p→q)→r。
点击查看答案
第9题
设A=(p∧q)∨(?p∧q∧r),B=(p∨(q∧r))∧(q∨(?p∧r)),判断A与B是否等值。
点击查看答案