11问答网
所有问题
求一离散数学解答过程及答案 设命题公式G=┐(P→Q)∨(Q∧(┐P→R)),求G的主析取范式
如题所述
举报该问题
其他回答
第1个回答 2011-12-17
解法一:
G=┐(P→Q)∨(Q∧(┐P→R))
=┐(┐P∨Q)∨(Q∧(P∨R))
=(P∧┐Q)∨((Q∧P)∨(Q∧R))
=(P∧┐Q)∨(Q∧P)∨(Q∧R)
=((P∧┐Q)∧(┐R∨R))∨((Q∧P)∧(┐R∨R))∨((Q∧R)∧(┐p∨p))
=(P∧┐Q∧┐R)∨(P∧┐Q∧R)∨(Q∧P∧┐R)∨(Q∧P∧R)∨(Q∧R∧┐p)
解法二:
真值表
法,更简单。(略)不懂就问我。本回答被提问者采纳
相似回答
大家正在搜
相关问题
离散数学求公式(┐P∨Q)∧(P→R)的主析取范式和主合取范...
离散数学,用等值演算法求下列公式的主析取范式 (p→q)^(...
离散数学:求p→(q∧┐r)的主合取范式、主析取范式、成真赋...
离散数学 用等值演算求(P→Q)→R的主析取范式 (要解答过...
离散数学的用等值演算法求命题公式┐(P∨Q)→R的主析范式(...
求解一道离散数学问题,用等值演算法求主析取范式 (p∨┐q∨...
离散数学 (p ∨(q ∧r ))→(p ∧q ∧r)的主析...
离散数学~大神求解 (┐p→q)∧(q∧r)这个是怎样证明为...