摘要： 离散数学4：析取范式与合取范式命题公式的两种规范表示方法，能表达真值表所能提供的一切信息。命题变项及其否定统称作文字。仅由有限个文字构成的析取式叫简单析取式，仅由有限个文字构成的合取式叫简单合取式。（析取式就是由∨链接的，比如q， ￢q∨p，p∨q∨r；合取式就是由∧链接的，比如p，￢p∧q，￢p∧... 阅读全文