主析取范式例题

终陆拜2993求这个公式主析取范式,并求成真赋值(p∨(q∧r))→(p∨q∨r) -
经庄毛18656966843 ______[答案] (p∨(q∧r))→(p∨q∨r) ⇔¬(p∨(q∧r))∨(p∨q∨r) 消灭特殊操作符 ⇔(¬p∧¬(q∧r))∨(p∨q∨r) 德摩根定律 ⇔(¬p∧(¬q∨¬r))∨p∨q∨r 德摩根定律 ⇔(¬q∨¬r)∨p∨q∨r 结合律 ⇔TRUE 恒为真

终陆拜2993求主析取范式(P→非Q)→R -
经庄毛18656966843 ______[答案] ( 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∧R) 等值于( P∧Q∧R)∨(P∧Q∧┐R)∨(┐ P∧Q∧R)∨( P∧┐Q∧R)...

终陆拜2993用公式求P→(P∧(Q→R))求主析取范式 -
经庄毛18656966843 ______[答案] 用P'表示非P, P→(P∧(Q→R)) =P'∨(P∧(Q'∨R)) =(P'∨P)∧(P'∨(Q'∨R)) =P'∨Q'∨R.

终陆拜2993离散数学命题逻辑求析取范式?求析取范式?主析取范式?再用主析取范式求主和取范式?1、(p^q)Vr 2、(p - >q)^(q - >r)求下列公式的主和取范式,再用主和... -
经庄毛18656966843 ______[答案] 先列出真值表,成真赋值(1)的就把对应前面的写出来,为主析取,成假赋值的相反.如(p^q)vr p q r (p^q)vr 0 0 0 0 0 0 1 1 0 1 0 0 0 1 1 1 1 0 0 0 1 0 1 1 1 1 0 1 1 1 1 1 主析取为001,011,101,110,111.即(!p^!q^r)v(!p^q^r)v(p^!q^r)v(p^q^!r)v(p^q^r)

终陆拜2993求(p→(p∨q))∨r的主合取范式 -
经庄毛18656966843 ______[答案] 主合取范式:若干个极大项的合取. 主析取范式:若干个极小项的析取. 例, 求公式(p∧q)∨r的主析取范式及主合取范式. 主析取范式: (p∧q)∨r (p∧q∧(r∨┐r))∨((p∨┐p)∧(q∨┐q)∧r) (p∧q∧r)∨(p∧q∧┐r)∨(p∧q∧r)∨(p∧┐q∧r)∨(┐p...

终陆拜2993求命题公式 ((p∨q)→r)→p 的主析取范式 -
经庄毛18656966843 ______[答案] 用≡代替<=>.用∟表示“否定” ((p∨q)→r)→p≡∟((p∨q)→r)∨p≡∟(∟(p∨q)∨r)∨p ≡((p∨q)∧∟r)∨p≡(p∧∟r)∨(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∧r...

终陆拜2993┐(┐R→P)∧P∧Q如何求主合取范式与主析取范式, -
经庄毛18656966843 ______[答案] 答:┐(┐R→P)∧P∧Q =┐(┐┐RVP)∧P∧Q =┐R∧┐P∧P∧Q =0 所以,原式的主析取范式为 0 主合取范式为:(┐PV┐QV┐R)∧ (┐PV┐QVR)∧(┐PVQV┐R)∧(┐PVQVR)∧(PV┐QV┐R)∧(PV┐QVR)∧(PVQV┐R)∧(PVQVR)

终陆拜2993求命题公式>(p→q)∧q∧r的主析取范式 -
经庄毛18656966843 ______[答案] “>”表示否定?如果是的话,此命题公式是矛盾式,主析取范式是0

终陆拜29931、 求公式p→(q→r)的主析取范式. -
经庄毛18656966843 ______[答案] (PS:一些符号不好打出来,我就拍我写在草稿纸上的) 看了图之后,还有几步,我觉得你应该会做,就没写了. 如果不懂,

终陆拜2993求离散数学(P→ Q)→ R主合取范式和主析取范式 -
经庄毛18656966843 ______[答案] 主析取:m1vm3vm4vm5vm7 主合取:M0^M2^M6 可以用真值表法或是等值演算法.