范式

我们希望找到一种真值表的替代方法，运用等价公式

是一种公式的规范形式

文字

命题变元 或它的否定称为文字

$$\neg P$$ $$P$$指向原始笔记的链接

子句

有限个文字 的 析取式 称为简单析取式（子句）

$$P\vee Q$$

一个单独的 文字 也是子句

$$Q$$指向原始笔记的链接

短语

有限个文字 的 合取式 称为简单合取式（短语）

$$P\wedge Q$$

一个单独的 文字 也是短语

$$Q$$指向原始笔记的链接

析取范式

合取范式

根据概念，范式只能够识别到括号外面的 联结词（也有可能没有），而且要限定里面的东西

$P\wedge Q\wedge R$ 是 短语、析取范式、合取范式；$(P\wedge Q\wedge R)$ 是 短语、析取范式

范式关注的命题公式的当前书写形式

析取范式、合取范式仅含 联结词 集 $\{\neg ,\wedge ,\vee \}$

范式存在定理

命题公式的 析取范式 可以指出公式何时为真，而 合取范式 可以指出公式何时为假

命题公式的范式表达并不唯一

极小项 和 极大项 互为否定

主析取范式，主合取范式 可能为空，但一定会有

NOTE

析取和合取互换通过两次分配律可以做到

求主范式可以通过公式变形和真值表两种方法做到