Question

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

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

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

最小项：否P和否Q，否P和Q，P和否Q，P和Q
最大项：P或Q，P或否Q，否P或Q，否P或否Q

能解释一下怎么来的吗？

谢谢了

Answer 1

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

追问

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

追答

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