题目
用主析取范式判断下列各组公式是否等值.
(1)p→(q→r)与q→(p→r).
(2)(p→q)→r与(p∧q)→r.
第3题
第5题
第8题
用等值演算法求公式的主析取范式或主合取范式。
(1)求公式p→((q∧r)∧(p∨(ㄱq∧ㄱr)))的主析取范式。
(2)求公式ㄱ(ㄱ(p→q))∨(ㄱq→ㄱp)的主合取范式。
(3)求公式((p∨q)∧(p→q))(q→p)的主析取范式,再由主析取范式求出主合取范式。
第9题
第10题
求下列命题公式的主合取范式和主析取范式,并判断公式是否为重言式或矛盾式。
(1) (PvQ)→(PQ)
(2) (P→Q)(P→Q)
(3)(R(∧Q→P))→(P→(QvR))
为了保护您的账号安全,请在“赏学吧”公众号进行验证,点击“官网服务”-“账号验证”后输入验证码“”完成验证,验证成功后方可继续查看答案!