p∨q∨r的主析取范式 p∧q∧r的主合取范式
先补项,然后使用分配率(p∧q)∨r ⇔(p∧q∧(¬r∨r))∨((¬p∨p)∧(¬q∨q)∧r) 补项 ⇔((p∧q∧¬r)∨(p∧q∧r))∨((¬p∨p)∧(¬q∨q)∧r) 分配律 ⇔(p∧q∧¬r)∨(p∧q.
求主范式的过程如下: (p∧q)∨(p∧r) ⇔(p∧q∧(¬r∨r))∨(p∧(¬q∨q)∧r) 补项 ⇔((p∧q∧¬r)∨(p∧q∧r))∨(p∧(¬q∨q)∧r) 分配律2 ⇔(p∧q∧¬r)∨(p∧q∧r)∨(p∧(¬.
求(p→(p∨q))∨r的主合取范式主合取范式:若干个极大项的合取. 主析取范式:若干个极小项的析取. 例, 求公式(p∧q)∨r的主析取范式及主合取范式. 主析取范式: (p∧q)∨r (p∧q∧(r∨┐r).
p∨q∨r是主析取范式吗,如果不是,该怎么求它的主析取范式p∨q∨r是析取范式.
求公式(p→q)∨┐(q∨r)的主析取范式和主合取范式,判断类型,求10.30.主析取范式(┐p∩┐q∩┐r)∪(┐p∩┐q∩r)∪(┐p∩q∩┐r)∪(┐p∩q∩r)∪(p∩┐q∩┐r)∪∪(p∩q∩┐r)∪(p∩q∩r) 主合取范式 (┐p∪q∪┐r)
如何求(p→(p∧q))∨r的主析取范式和主合取范式P→Q等价于:(┐P)∨Q P∨(Q∧R)→(P∧Q∧R )等价于:(┐P∨(Q∧R))∨(P∧Q∧R ) 后面无非就是一些化简方法:比如(Q∧R)=[(┐P)∧(Q∧R)]∨[P∧(Q∧R)] 之类┐P=[(┐P)∧(Q∧R)]∨[(┐P)∧(┐Q∧R)]∨[(┐P)∧(Q∧┐R)]∨[(┐P)∧(┐Q∧┐R)]
P∨Q∨R的主合取范式P∨Q∨R就已经是主合取范式了不用推理也不需要真值表
求命题公式 ((p∨q)→r)→p 的主析取范式(p∨(q∧r))→(p∧q∧r) ﹁(p∨(q∧r))∨(p∧q∧r) (﹁p∧﹁(q∧r))∨(p∧q∧r) (﹁p∧(﹁q∨﹁r))∨(p∧q∧r) (﹁p∧﹁q)∨(﹁p∧﹁r)∨(p∧q∧r)((﹁p∧﹁q)∧(r∨﹁r))∨((﹁p∧﹁r)∧(q∨﹁q))∨(p∧q∧r)(﹁p∧﹁q∧r)∨(﹁p∧﹁q∧﹁r)∨(﹁p∧q∧﹁r)∨(﹁p∧﹁q∧﹁r)∨(p∧q∧r) 自己写真值表也很容易得出结果~~
p∨q∨r为什么即是析取范式,也是合取范式当然是因为它符合定义了.作为析取范式,由三个简单合取式组成:p,q,r.作为合取范式,只有一个简单析取式组成,就是自身.
离散数学求公式(┐P∨Q)∧(P→R)的主析取范式和主合取范式 求步骤.步骤如下:1. (¬P∨Q)∧(P→R)2. ⇔(¬P∨Q)∧(¬P∨R) 变成 合取析取3. ⇔(¬P∨Q∨(¬R∧R))∧(¬P∨(¬Q∧Q)∨R) 补项4. ⇔((¬P∨Q∨¬R)∧(¬P∨Q∨R))∧(¬P∨(.