(~p→q)→(q→~p)的主析合取范式和析取范式

来源：蜘蛛抓取(WebSpider) 时间：2016-09-20 12:01 标签： 主析取范式
求(p→q)∧(q→r)的主析取范式_百度知道离散数学(屈婉玲)答案_百度文库
离散数学(屈婉玲)答案
第一章部分课后习题参考答案
16 设p、q的真值为0；r、s的真值为1，求下列各命题公式的真值。
（1）p∨(q∧r)? 0∨(0∧1) ?0
（2）（pr）∧(﹁q∨s) ?（01）∧(1∨1) ?0∧1?0.
（3）（?p∧?q∧r）(p∧q∧﹁r) ?（1∧1∧1）
(0∧0∧0)?0
(4)（?r∧s）→(p∧?q) ?（0∧1）→(1∧0) ?0→0?1
17．判断下面一段论述是否为真：“?是无理数。并且，如果3是无理数，则2也是无理数。另外6能被2整除，6才能被4整除。”
答：p: ?是无理数
r: 2是无理数
s: 6能被2整除
6能被4整除
命题符号化为： p∧(q→r)∧(t→s)的真值为1，所以这一段的论述为真。
19．用真值表判断下列公式的类型：
（4）(p→q) →(?q→?p)
（5）(p∧r) ?(?p∧?q)
（6）((p→q) ∧(q→r)) →(p→r)
(p→q)→(?q→?p)
所以公式类型为永真式 //最后一列全为1
（5）公式类型为可满足式（方法如上例）//最后一列至少有一个1
（6）公式类型为永真式（方法如上例）//
第二章部分课后习题参考答案
3.用等值演算法判断下列公式的类型，对不是重言式的可满足式，再用真值表法求出成真赋值.
第1 / 31页
贡献者：张唐训
喜欢此文档的还喜欢┐(p→q)∧q∧r 转化为主析取范式_百度知道求P∨（ P→（Q∨（Q→R）））主合取与主析取范式RT
骑兵团44012
去掉蕴含符号原式=P V( ┐P V (Q V(┐Q V R)))因为整个式子里面没有合取符号,所以主合取=0主析取=(P V ((┐PVQ)) V( ┐P V (┐Q V R)))=(PV(┐PVQ)) V ( P V ┐P) V (P V (┐Q V R))=PV(Q V(┐Q V R))=P V R
为您推荐：
其他类似问题
主合取范式是
无主析取范式是 p∨(非pVqVr)
那个非字符 我在电脑上打不出来 汗
能看懂就行
P∪（ P→（Q∪（Q→R）））= P∪（ 非P∪（Q∪（非Q∪R）））= P∪非P∪Q∪非Q∪R=T永真式不存在主合取范式，故该式不存在主合取范式；永真式的主析取范式是所有小项之析取，故原式的主析取范式是（P∩Q∩R）∪（P∩Q∩非R）∪（P∩非Q∩R）∪（P∩非Q∩非R）∪（非P∩Q∩R）∪（非P∩Q∩非R）∪（非P∩非Q∩R）∪（非...
扫描下载二维码> 问题详情
命题公式P↓Q的主合取范式是______，主析取范式是______．
悬赏：0&答案豆
提问人：匿名网友
发布时间：
命题公式P↓Q的主合取范式是______，主析取范式是______．
我有更好的答案
论文写作技巧
相关考试课程
请先输入下方的验证码查看最佳答案
图形验证：
验证码提交中……

我要回帖

更多关于 主析取范式 的文章

 

随机推荐