（非P->q）->（非qVp）的主析取范式和主合取范式

相关推荐

• （非P->q）->（非qVp）的主析取范式和主合取范式
• 一、填空题.1.除非你陪伴我或代我雇辆车子,否则我不去.2.前提：1.如果明天天晴,我们准备外出旅游.2 ．明天的确天晴.结论：我们外出旅游.3.他唱歌的充分必要条件是心情愉快.4.雪是白的当且仅当太阳从东方升起.5.所有的人都是要死的；苏格拉底是人.所以苏格拉底是要死的.6.爱美之心人皆有之.7.有人爱发脾气.8.说所有人都爱吃面包是不对的.9.并不是所有的汽车比所有的火车快.二、求命题公式A=┐P∧(Q→R)的主合取范式.三、侦查员在调查了某珠宝店的珠宝失窃案现场以及询问了人证后,得到以下事实：（1）\x05是营业员甲或营业员乙做的案；（2）\x05若是甲做的案,则案发在非营业时间；（3）\x05若乙提供的证词可信,则案发时货柜未上锁；（4）\x05若乙提供的证词不可信,则案发在营业时间；（5）\x05货柜在案发时的确上锁了.侦查员推断是营业员乙做的案,请用命题逻辑判断该推断是否正确.
• ((p∨q) ∧(p→q)) ↔(q→p) 的主析取范式和主合取范式
• P→（P∧（Q→P））的主析取范式和主合取范式这个公式是重言式,主合取范式?
• 离散数学数理逻辑题已知命题公式A中含3个命题变项p,q,r,并知道它的成真赋值为001,010,111,求A的主析取范式和主合取范式,及A对应的真值函数.P90A的主析取范式为m1 ∨ m2 ∨ m7A的主合取范式为M0 ∧ M3 ∧ M4 ∧ M5  ∧M6 设A对应的真值函数为F,则F(001)=F(010)=F(111)=1F(000)=F(011)=F(100)=F(101)=F(110)=0试说明以上得出答案的理由
• P→（P∧（Q→P））的主析取范式和主合取范式
• 离散数学问题：求主析取范式：1.(非p→q)→(非qVp)2.(非p→q)^(q^r) 谢谢
• 求公式（Q→P）∧（┓P∧Q）的主析取范式和主合取范式
• 离散数学求公式(┐P∨Q)∧(P→R)的主析取范式和主合取范式 急
• ((p∨q) ∧(p→q)) ↔(q→p) 的主析取范式和主合取范式
• 设R是A上的自反和传递关系,证明R∩R^-1是A上的等价关系.
• 圆心在直线3x+2y=0上，并且与x轴交于点（-2，0）和（6，0）的圆的方程为_．