可满足式的主析取范式就是成真赋值对应小项的析取；主合取范式就是成假赋值对应极大项的合取；且主析取范式中小项m的下标和主合取范式中大项M的下标是互补的
举一反三
- 下面哪一句话对命题范式的描述是不正确的（ ） A: 有限个简单合取式构成的析取式称为析取范式 B: 有限个简单析取式构成的合取式称为合取范式 C: 一个析取范式是不成立的，当且仅当它包含一个不成立的简单合取式 D: 一个合取范式是成立的，当且仅当它的每个简单析取式都是成立的
- P 既是简单析取式也是简单合取式，既是合取范式也是析取范式。
- ØQ既是简单析取式也是简单合取式，既是合取范式也是析取范式。 A: 正确 B: 错误
- 求下列公式的主析取和主合取范式，并求它的成真赋值和成假赋值。 （p∧q）→
- 命题公式“[img=10x11]17e0a839b915354.jpg[/img]P”既是析取式，又是合取式，还是析取范式和合取范式。