p q p∨q p→q ((p∨q) ∧(p→q)) q→p ((p∨q) ∧(p→q)) ↔(q→p)
T T T T T T T
T F T F F T F
F T T T T F F
F F F T F T F
利用最后一列为T对应的小项的析取得主析取范式p∧q
利用最后一列为F对应的大项的合取得主合取范式(非p∨q)∧(p∨非q)∧(p∨q)
方法2．
((p∨q) ∧(p→q)) ↔(q→p)
=((p∨q) ∧(非p∨q)) ↔(非q∨p)
=((p∧非p)∨q)) ↔(非q∨p)
=(F∨q)) ↔(非q∨p)
=q ↔(非q∨p)
=(q∧(非q∨p))∨(非q∧非(非q∨p))
=(q∧p)∨(非q∧(q∧非p))
=(q∧p)∨F
=q∧p(主析取范式)
= (q∨(p∧非p))∧(p∨(q∧非q))
=(q∨p)∧(q∨非p)∧(p∨q)∧(p∨非q)
=(p∨q)∧(p∨q)∧(p∨非q) (主合取范式)
...↔(q→p) 的主析取范式和主合取范式 谢谢~
利用最后一列为T对应的小项的析取得主析取范式p∧q 利用最后一列为F对应的大项的合取得主合取范式(非p∨q)∧(p∨非q)∧(p∨q)方法2．((p∨q) ∧(p→q)) ↔(q→p)=((p∨q) ∧(非p∨q)) ↔(非q∨p)=((p∧非p)∨q)) ↔(非q∨p)=(F∨q)) ↔...
...pVq)^(p->q))<->(q->p)的主析取范式与主合取范式
左边 <=> ┐（p<->q）<=> ┐( (p->q ) ^ (q->p) )<=> ┐( (┐pvq ) ^ (┐qvp) )<=> ┐ (┐pvq ) v ┐ (┐qvp)<=> (p ^ ┐q ) v (q ^ ┐p)右边 <=> (p v q ) ^ (┐p v ┐ q)<=> (p ^ (┐p v ┐q)) v (q ^ (┐p v...
命题公式(￢P→Q)→(￢Q∨P)的特异析取范式和特异合取范式.
【答案】：(￢P→Q)→(￢Q∨P)=(P∨Q)→(￢q∨P)=￢(P∨Q)∨(￢Q∨P)=(￢P∧￢Q)∨(￢Q∨P)=(￢P∨]Q∨P)∧(P∨￢Q)=P∨￢Q(特异合取范式)，(￢P→Q)→(￢Q∨P)=(P∨Q)→(￢Q∨P)=￢(P∨Q)∨(￢Q∨P)=(￢P∧￢Q)∨(￢Q∨P)=(￢P∧￢Q)∨(￢Q∧...
求((p∨q)→r)→p 的主析取范式和主合取范式;要求用两种方法:等值演算 ...
求((p∨q)→r)→p 的主析取范式和主合取范式;要求用两种方法:等值演算法,真值表法。首页 问题 全部问题 经济金融 企业管理 法律法规 社会民生 科学教育 健康生活 体育运动 文化艺术 电子数码 电脑网络 娱乐休闲 行政地区 心理分析 医疗卫生 精选 知道专栏 知道日报 知道大数据 ...
求下列公式的主析取范式,再用主析取范式求主合取范式。(p∨q)→q
主析取范式：（非p∧非q）∨（p∧q）∨（p∧非q）主合取范式：p∨非q 先利用a→b非a∨b求得主析取范式，再利用布尔析取（大项）和布尔合取（小项）求主合取范式
离散数学 求P→(P∧(Q→P))的主析取范式和主合取范式并判断是否为重言式...
(p→q)∧(q... 18 2019-12-17 离散数学,求非(P∧Q)→(P∨Q)的主析取范式和主合取范式... 1 2015-12-16 关于离散数学 求如下公式的主析取范式和主合取 范式 (p∧q... 8 2013-04-20 离散数学求公式(┐P∨Q)∧(P→R)的主析取范式和主合取范... 4 2013-10-21 离散数学:求p→(q...
P→((Q→P)∧(┐P∧Q))主析取范式和主合取范式
=(┐P∧┐Q )V(┐P∧Q )(主析取范式)=(┐P V Q)∧(┐P V┐ Q)(主合取范式)2、PV(Q∧R)→(P∧Q∧R)=┐（PV(Q∧R)）V (P∧Q∧R)=（┐P∧(Q V R)）V (P∧Q∧R)=（┐P∧Q ∧ R）V（┐P∧┐Q ∧ R）V（┐P∧Q ∧┐ R）V (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∧q∧r)∨(┐p∧┐q∧r)(p∧q∧r)∨(p∧q∧┐r)∨(p∧┐q∧r)∨(┐p∧q∧r)∨(┐p∧┐q∧r)∑(m1,m3,m5,m6,m7)主合取范式...
求( p→q)→( q∨p)的主析取范式步骤解释
你的答案是错误的，主析取范式是m1∨m2∨m3，主合取范式是M1。方法一是用真值表求主析取范式，找到成真赋值01，10，11，转化为十进制是1,2,3，所以主析取范式是m1∨m2∨m3。主合取范式是M0。方法二就是一般做法，进行等值演算 ( p→q)→( q∨p)<=> ┐(┐p∨q)∨(p∨q)<=> (p∧┐q...
﹁(p→q)∧q∧r的主析取主合取范式,以及 成真成假赋值
∴ 其主析取范式为：0 主合取范式为：M0∧M1∧M2∧M3∧M4∧M5∧M6∧M7 ↔ ∏（0,1,2,3,4,5,6,7） （主合取范式表示成上下两种形式都对） 成假赋值为： 000,001,010,011,100,101,110,111 无成真赋值，即本式命题类型为矛盾式。以上，如有问题请追问我。
