求问一下
离散数学里的那个 主析取范式 和 主合取范式
的那个 最小项 最大项是怎么得的啊我看书上的例子是这个
给定两个命题变元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就是不对的。极小项里面的所有变元都是由∧连接的,所有极小项再用∨连接就形成了一个主析取范式。
温馨提示:答案为网友推荐,仅供参考