求问一下 离散数学里的那个 主析取范式 和 主合取范式 的那个 最小项 最大项是怎么得的啊

求问一下
离散数学里的那个 主析取范式 和 主合取范式
的那个 最小项 最大项是怎么得的啊我看书上的例子是这个

给定两个命题变元P,Q 可以构造的最小项和最大项如下

最小项:否P和否Q,否P和Q,P和否Q,P和Q
最大项:P或Q,P或否Q,否P或Q,否P或否Q

能解释一下怎么来的吗?

谢谢了

含n个命题变项的简单合取式(简单析取式),若每个命题变项及其否定式不同时出现,而二者之一必出现且仅一次,且第i个命题变项或其否定式出现在左起第i位上(按字典序排列),称该简单合取式(简单析取式)为极小项(极大项)

追问

能解释下 且第i个命题变项或其否定式出现在左起第i位上(按字典序排列)
什么意思吗?
谢谢
还有
如果包含有两个以上的命题变元的话那么是不是所有 最小项 都要由“和”来连接这些命元的否定或本身?

追答

就是命题变项是按照字母表的顺序排列的。比如pqr你要是排列成qpr就是不对的。极小项里面的所有变元都是由∧连接的,所有极小项再用∨连接就形成了一个主析取范式。

温馨提示:答案为网友推荐,仅供参考

相关了解……

你可能感兴趣的内容

本站内容来自于网友发表,不代表本站立场,仅表示其个人看法,不对其真实性、正确性、有效性作任何的担保
相关事宜请发邮件给我们
© 非常风气网