p析取q的合取范式,p析取q的主析取范式

p析取q的合取范式,p析取q的主析取范式

P\vee(P\wedgeQ)=(P\wedge1)\vee(P\wedgeQ)\xlongequal{分配律}P\wedge(1\veeQ)=P当然，吸收律使用集合的维恩图看起来很明显。 3.在证明其他常用等价公式的等价公式时，\合取析取⇔(ØP∨Q)∧(ØP∨R)分配律⇔(ØP∨Q∨(ØR∧R)不常用)∧(ØP∨(ØQ∧Q)∨R) 补⇔((ØP∨Q∨ØR)∧(¬

(1).(p^q^r):只能是析取范式。这个括号的语义是括号是整体的(简单公式)，即连词符号连接单词，单词组成简单连词整个公式不能被认为是从多个P∧(P→Q)⇔P∧(ØP∨Q)变为连词析取active⇔P∧Q。获取合取析取吸收率，得到主析取范式，然后检查是否有遗漏。 最低期限

<=>(﹁p∧﹁q∧﹁r)∨(﹁p∧﹁q∧r)∨(﹁p∧q∧﹁r)∨(p∧q∧r),=>m0∨m1∨m2∨ m7，可以得出其主要合取范式为M3∧M4∧M5∧M6，这里默认的顺序是pqr。 另外，还需要几个极大项的合取。主析取范式：几个极小项的合取。例如，求公式(p∧q)∨r的主析取范式和主合取范式。 析取范式：p∧q)∨r(p∧q∧(r∨┐r))∨((p∨┐p)∧(q∨┐

利用吸收定律，p∧(p∨┐q)<=>┐q<=>(p∨┐p)∧┐q<=>(p∧┐q)∨(┐p∧┐q)<=>m0∨m2step2 ：先求主析取。假设真值的完整表达需要三个变量sp,q,r。符号：M3=二进制100=p∧﹁q∧﹁r﹁p∨﹁

1主析取范式:┐P∧┐Q)∨(┐P∧Q)∨(P∧┐Q)∨(P∧Q)主要合取范式:1析取范式和合取范式