命题逻辑中主范式的求法

Analysis of Main Disjunctive Normal Form in Logic Assignment

求主析取范式包括真值表法、推演法以及用真值表法求G的主析取范式、用推演法求G的主合取范式等四种方法。用极小项的性质给出了真值表求法的证明,用公式相等的定义证明了求G的主析取范式的定理。

Seeking the main disjunctive normal form mainly includes the following four methods, the truth table method, the deductive method, the main disjunctive normal form using the truth table method to seek the G, and the main conjunctive normal form using the deductive method to seek the G. To support the truth table method, the properties of the minimal form are cited. Besides, it proves the theorem of the main disjunctive normal form of seeking G with the definition of formula equality.