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