命题公式的主析取范式与主合取范式详解

主析取范式（DNF）是指一个命题公式，它由多个子句组成，每个子句都是若干个原子命题或者它们的否定的析取，而整个公式是这些子句的合取。

主合取范式（CNF）是指一个命题公式，它由多个子句组成，每个子句都是若干个原子命题或者它们的否定的合取，而整个公式是这些子句的析取。

举个例子，假设有以下命题公式 P：

P = (A ∨ B) ∧ (¬A ∨ C)

P 的主析取范式为 (A ∨ B) ∧ (¬A ∨ C)

P 的主合取范式为 (A ∧ ¬A) ∨ (A ∧ C) ∨ (B ∧ ¬A) ∨ (B ∧ C)