用等值演算法求P→((P→Q)∧┐(┐Q∨┐P))的主析取范式和主合取范式

如题所述

举报该问题

第1个回答 2016-04-28

原式=(p∨q)∧(q∧r)=(p∧q∧r)∨(q∧q∧r)=(p∧q∧r)∨(q∧r)=(p∧q∧r)∨(q∧r∧(p∨┐p))=
(p∧q∧r)∨(q∧r∧p)∨(q∧r∧┐p)=(p∧q∧r)∨(┐p∧q∧r)追问

没有r啊，亲

本回答被网友采纳

相似回答

如何把一个命题化成主析取范式和主合取范式?答：常用的方法有两种，等值演算法和真值表法，等值演算法，就是按照步骤推导公式，最终得到主合取范式或者主析取范式。检查主合取范式中遗漏的4个主项p∨q∨¬r，p∨¬q∨¬r，¬p∨q∨¬r，¬p∨¬q∨r可以反推出它的主析取范式⇔(¬p∧¬...

大家正在搜

Q值算法 Q值调整算法 Q算法应用领域 Q的计算公式怎样计算出Q的值 Q算法 P和Q Q如何计算 P且Q

用等值演算法求(p→(q∨r))∧(非p∨(q↔...

用等值演算法求公式┐(p→q)的主析取范式和主合取范式。

离散数学，用等值演算法求下列公式的主析取范式（p→q）^（...

等值演算法求与下述公式等值的合取范式和主合取范式(p→q)∨...

求命题的主析取范式和主合取范式 (1)p∧q∧┐q (2)(...

求解一道离散数学问题，用等值演算法求主析取范式（p∨┐q∨...

（Q→P）∧（┐P∧Q）主析取范式和主合取范式

离散数学用等值演算求（P→Q）→R的主析取范式（要解答过...