((p→q)∧﹃p)→﹃q ……(中间省略推理,得到结果)
p V ﹃q=M01 --(这个M01怎么得到的?)
m00 V m10 V m11 =Σ(0,2,3) --(这一步是怎么出来的?)
我是自学离散的,这些东西是从一个例题上摘抄的。
果断没看明白。
人气:331 ℃ 时间:2020-06-07 00:20:02
解答
1、M01是两个命题变项p、q组成的极大项中的一个,p V ﹃q的成假赋值是01,那么这个极大项就可以表示为M01或M1(就是把01转换成十进制了).
m00、m10、m11都是极小项,其下标00、10、11代表它所对应的合取式的成真赋值,也可以转换为十进制,表示为m0、m2、m3.
极大项与极小项在主析取范式与主合取范式那个地方,任何书上都有,重要内容.
2、如果一个命题公式的等值的主合取范式已知了,那么很容易的就可以求出主析取范式.假设命题公式中有n个命题变项,那么主析取范式中的极小项的下标就是从所有的n位二进制数中去掉主合取范式中的所有极大项的下标后所剩余的.对于本例,两位二进制数是00、01、10、11,去掉了主合取范式中的01,剩余的00、10、11对应的极小项m00、m10、m11的析取式就是主析取范式.
反之亦然.
推荐
- 离散数学推理理论
- 一道 推理理论的题目,
- 若已知p˅q,p→s,q→t,如何推出s˅t?如果不能,也请说明还需要什么条件.
- 在上海科学技术文献出版社,左孝凌离散数学推理理论中提到了T规则,P规则,在例题中还有E,I等符号.
- 离散数学题,利用推理证明解决
- 请问英镑符号“£”怎么读?
- 一道初三二元一次方程的题!
- 丽丽,小红,小芳三人称重,每次两人一起称,一共称了三次,称得的结果如下:丽丽和小红54千克 小红和小芳56千克 丽丽和小芳52千克 问你知道他们的体重各是多少千克吗?
猜你喜欢