Question

主析取范式与主合取范式的转换

Answer 1

主析取范式与主合取范式的转换如下：

主合取范式，就是若干个极大项的合取（交集）。如何按步骤求命题公式的主合取范式与主析取范式主析取范式，就是若干个极小项的析取（并集）。如何按步骤求命题公式的主合取范式与主析取范式而所谓的极大项，就是包含全部数目扮闭的命题变元的析取表达式。

例如：p∨¬q∨r如何按步骤求命题公式的主合取范式与主析取范式、所谓的极小项，就是包含全部数目的命题变元的合取表达式。

例如：¬p∧¬q∧r、如何按步骤扮闭求命题公式的闹卖主合取范式与主析取范式、下面言归正传，我们看如何按步骤求解命题公式的主合取范式与主析取范式。常用的方法有两种，等值演算法和真值表法。

等值演算法，就是按照步骤推导公式，最终得到主合取范式或者主析取范式、如何按步骤求命题公式的主合闹卖取范式与主析取范式、下面，我们来举个例子，求出命题公厅弯裂式的主合取范式与主析取范式。

(p→¬q)↔r⇔ (¬p∨¬q)↔r⇔ [(¬p∨¬q)→r] ∧ [r→(¬p∨¬q)]⇔ (¬(¬p∨¬q)∨r)∧ (¬r∨¬p∨¬q)⇔ ((p∧q)∨r)∧ (¬p∨¬q∨¬r)⇔ (p∨r)∧(q∨r)∧ (¬p∨¬q∨¬r)⇔ [p∨(q∧¬q)∨r]∧[(p∧¬p)∨q∨r]∧ (¬p∨¬q∨¬r)⇔ (p∨q∨r)∧ (p∨¬q∨r)∧ (p∨q∨r)∧ (¬p∨q∨r) ∧ (¬p∨¬q∨¬r)⇔ (p∨q∨r)∧ (p∨¬q∨r)∧(¬p∨q∨r) ∧ (¬p∨¬q∨¬厅弯裂r)得到主合取范式