如何按步骤求命题公式的主合取范式与主析取范式

2025-03-18 06:15:48

1、首先,我们需要了解一下数学概念。简而言之,主合取范式,就是若干个极大项的合取(交集)。

如何按步骤求命题公式的主合取范式与主析取范式

2、主析取范式,就是若干个极小项的析取(并集)。

如何按步骤求命题公式的主合取范式与主析取范式

3、而所谓的极大项,就是包含全部数目的命题变元的析取表达式例如:p∨¬q∨r

如何按步骤求命题公式的主合取范式与主析取范式

4、所谓的极小项,就是包含全部数目的命题变元的合取表达式例如:¬p∧¬q∧r

如何按步骤求命题公式的主合取范式与主析取范式

5、下面言归正传,我们看如何按步骤求解命题公式的主合取范式与主析取范式。常用的方法有两种,等值演算法和真值表法等值演算法,就是按照步骤推导公式,最终得到主合取范式或者主析取范式

如何按步骤求命题公式的主合取范式与主析取范式

6、下面,我们来举个例子,求出命题公式的主合取范式与主析取范式(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)得到主合取范式

如何按步骤求命题公式的主合取范式与主析取范式

7、检查主合取范式中遗漏的4个主项p∨q∨¬r,p∨¬q∨¬r,¬p∨孥恶膈茯q∨¬r,¬p∨¬q∨r可以反推出它的主析取范式⇔(¬p∧¬q∧r像粜杵泳)∨(¬p∧q∧r)∨(p∧¬q∧r)∨(p∧q∧¬r)得到主析取范式

如何按步骤求命题公式的主合取范式与主析取范式

8、最后,我们看如何使用真值表方法,求命题公式的主合取范式与主析取范式。

如何按步骤求命题公式的主合取范式与主析取范式

9、我们来看这样一个具体例子。根据真值表,我们取值为0的指派,得到最大项从而写出最大项的合取,得到主合取范式

如何按步骤求命题公式的主合取范式与主析取范式
声明:本网站引用、摘录或转载内容仅供网站访问者交流或参考,不代表本站立场,如存在版权或非法内容,请联系站长删除,联系邮箱:site.kefu@qq.com。
猜你喜欢