析取范式与合取范式

文字: $P$ / $\neg P$，命题变项及其否定
简单析取式: $P_{1}\lor P_{2}\lor\dots$，有限个文字构成的析取式
简单合取式: $P_{1}\land P_{2}\land \dots$，有限个文字构成的合取式
析取范式: $(P_{11}\land P_{12}\land\dots)\lor(P_{21}\land P_{22}\land\dots)\lor\dots$，有限个简单合取式的析取式
合取范式: $(P_{11}\lor P_{12}\lor\dots)\land(P_{21}\lor P_{22}\lor\dots)\land\dots$，有限个简单析取式的合取式
主析取范式: $0$ (矛盾式) 或多个最小项之和
- 最小项: $m_{k}$
  - $m_{k}$ 中的 $k$ 转为二进制
  - 每一位 $0$ 为 $\neg P_{k}$，$1$ 为 $P_{k}$
  - 由上述选择的合取得到最小项
主合取范式: $0$ 或多个最大项之积
- 最大项: $M_{k}$ 类似最小项，但是 $0$ 为 $P_{k}$，$1$ 为 $\neg P_{k}$

Warning