离散数学求主合取范式例题
明肥晏2758离散数学 2求下面公式的析取范式,合取范式,主合范式 公式:P∨(¬P→(Q∨(¬P→R)离散数学 2求下面公式的析取范式,合取范式,主合范式 公式:P∨... -
桓巧刮18819692724 ______[答案] P∨(¬P→(Q∨(¬P→R))) ⇔P∨(P∨(Q∨(¬P→R))) 变成 合取析取 ⇔P∨(P∨(Q∨(P∨R))) 变成 合取析取 ⇔P∨P∨(Q∨(P∨R)) 结合律 ⇔P∨Q∨R 结合律 等幂律 得到主合取范式,再检查遗漏的极大项 ⇔¬(P∨Q∨¬R)∨¬(P∨¬Q∨R)∨¬(P∨...
明肥晏2758离散数学问题,1、求命题公式(P∨Q)→(R∨Q) 的主析取范式、主合取范式 有谁知道怎么求的?望赐教 -
桓巧刮18819692724 ______[答案] 可以用真值表求.根据蕴含式A→B的真值的情形,只有A真B假时才为假,所以(P∨Q)→(R∨Q) 成假只有当P∨Q真,R∨Q假时,此时P真Q假R假,即成假赋值只有100,对应的极大项是M4,所以主合取范式是M4,那么主析取范式就是m0∨m...
明肥晏2758┐(┐R→P)∧P∧Q如何求主合取范式与主析取范式, -
桓巧刮18819692724 ______[答案] 答:┐(┐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)
明肥晏2758求p→(q→r)的主合取式 -
桓巧刮18819692724 ______[答案] 我用~表示非 我们用公式p->q pvq A p->(q->r) p->(~q v r) ,p v q v r 这就是A的主合取范式,它是一个析取式的合取.
明肥晏2758离散数学求公式(┐P∨Q)∧(P→R)的主析取范式和主合取范式 求步骤 急急急急 -
桓巧刮18819692724 ______[答案] P Q R P∧Q ┐P∧R (P∧Q)∨(┐P∧R) 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 1 1 0 1 1 1 0 0 0 0 0 1 0 1 0 0 0 1 1 0 1 0 1 1 1 1 1 0 1 原公式的主析取范式:(┐P∧┐Q∧R)V(┐P∧Q∧R)V(P∧Q∧┐R)V(P∧Q∧R) 主合取范式:(┐PVQV...
明肥晏2758离散数学命题逻辑求析取范式?求析取范式?主析取范式?再用主析取范式求主和取范式?1、(p^q)Vr 2、(p - >q)^(q - >r)求下列公式的主和取范式,再用主和... -
桓巧刮18819692724 ______[答案] 先列出真值表,成真赋值(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)
明肥晏2758求┐(pV┐q)∧(s→r)合取范式和主合取范式 -
桓巧刮18819692724 ______[答案] ┐(pV┐q)∧(s→r) ⇔┐p∧q∧(┐sVr) (合取范式) 现对每个合取项构成保证形式,如┐p,要把q,s,r全部添进去. 主合取范式一共有12项
明肥晏2758《离散数学》试题1一、判断题(每题1分,1.在命运题逻辑中,任何命题公式的主合取范式都是存在的,并且是惟一的.( )2.011是公式 的成真赋值 ( )3.... -
桓巧刮18819692724 ______[答案] △ABC△DCE△FEG是三个全等的等腰三角形,底边BC,CE,EG在同一直线上,AB=根号3,BC=1,联结BF,交AC,DC,DE与P,Q,R求证:△BFG∽△EFG,并求出BF
明肥晏2758离散数学 求主析取范式 -
桓巧刮18819692724 ______ P→(┐Q∨R) <==> ┐P∨(┐Q∨R) <==> ┐P∨┐Q∨R <==> M6 <==> Π(6) (主合取范式) <==> Σ(0,1,2,3,4,5,7) (主析取范式) 注:符号取自屈婉玲等编写的《离散数学》.
明肥晏2758合取范式,合取主范式的区别,最好有例子,简单易懂一点 -
桓巧刮18819692724 ______[答案] 合取式: P∧Q∧R合取范式: (p∨q)∧(p∨┐q∨r)∧ (┐p∨r)主合取范式: (p∨q∨r)∧(p∨┐q∨r)∧ (┐p∨q∨r)