针对含有n个文字的命题公式，下面关于极小项与简单合取式的说法正确的是：（）
A: 简单合取式不一定包含所有n个文字
B: 简单合取式可以同时包含命题变项及其否定
C: 极小项可以同时包含命题变项及其否定
D: 极小项是特殊简单合取式
E: 若命题变元用下标表示，那么极小项中第i个命题可以出现在任意位置
A: 简单合取式不一定包含所有n个文字
B: 简单合取式可以同时包含命题变项及其否定
C: 极小项可以同时包含命题变项及其否定
D: 极小项是特殊简单合取式
E: 若命题变元用下标表示，那么极小项中第i个命题可以出现在任意位置
举一反三
- n个命题变元可产生个互不等价的极小项,其中,任意两个不同极小项的合取式为,而全体极小项的析取式为。
- 一般地说，n个命题变元共有2n个极小项
- 下面哪一句话对命题范式的描述是不正确的（ ） A: 有限个简单合取式构成的析取式称为析取范式 B: 有限个简单析取式构成的合取式称为合取范式 C: 一个析取范式是不成立的，当且仅当它包含一个不成立的简单合取式 D: 一个合取范式是成立的，当且仅当它的每个简单析取式都是成立的
- 命题公式的任意两个不同极小项的合取式一定为（）。 A: 永真式 B: 永假的 C: 可满足的 D: 不确定
- 假设A公式有n个命题变项，则[img=18x19]17de61bcba87c4d.png[/img]个全体极大项的合取、[img=18x19]17de61bcba87c4d.png[/img]个全体极小项的析取式必为( ) A: 永真式、永真式 B: 永假式、永假式 C: 永真式、永假式 D: 永假式、永真式