离散数学求主析取范式主合取范式问题: 当一个式子很容易化成主析取范式的时候,怎么把他化成主合取范式

离散数学求主析取范式主合取范式问题: 当一个式子很容易化成主析取范式的时候,怎么把他化成主合取范式

离散数学求主析取范式主合取范式问题:

当一个式子很容易化成主析取范式的时候,怎么把他化成主合取范式.比如这个题


dr68 1年前 已收到1个回答 举报

smaldog 花朵

共回答了20个问题采纳率:90% 举报

由主析取范式求主合取范式:含有n个命题变项的命题公式主析取范式中每一个极小项的成真赋值就是命题公式所有的成真赋值,从所有的2^n个赋值中去掉这些成真赋值,剩下的就是成假赋值,每一个成假赋值对应一个极大项,所有的极大项组成的合取范式就是主合取范式.
本题,成真赋值是11,10,01,所以成假赋值就是00,对应的极大项是p∨q,这个就是主合取范式.

1年前 追问

1

dr68 举报

00对应的不应该是非p 非q么?为什么是p∨q?

举报 smaldog

主合取范式中,0对应p,1对应非p(主析取范式中,0对应非p,1对应p)

dr68 举报

可能相似的问题
Copyright © 2024 YULUCN.COM - 雨露学习互助 - 17 q. 0.022 s. - webmaster@yulucn.com