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

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

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

例如: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)得到主合取范式