如何用真值表求主合取范式详细解

92次

问题描述:

如何用真值表求主合取范式详细解急求答案,帮忙回答下

最佳答案

推荐答案

1.首先,我们需要了解一下数学概念。

主合取范式,就是若干个极大项的合取(交集)。 2.主析取范式,就是若干个极小项的析取(并集)。 3.而所谓的极大项,就是包含全部数目的命题变元的析取表达式,例如:p∨¬q∨r4.所谓的极小项,就是包含全部数目的命题变元的合取表达式,例如:¬p∧¬q∧r5.用真值表方法,求命题公式的主合取范式与主析取范式。

6.根据真值表,我们取值为0的指派,得到最大项,从而写出最大项的合取,得到主合取范式例如由命题变项p,q,r组成的某公式的成真赋值为:(001),(101),(110)那么该公式的主析取范式为m1∨m5∨m6,则其主合取范式为M0∧M2∧M3∧M4∧M7.对应的极小项为m1=(~p∧~q∧r) m5=(p∧~q∧r) m6=(p∧q∧~r) 对应的极大项为M0=(~p∨~q∨~r) M2=(~p∨q∨~r) M3=(~p∨q∨r) M4=(p∨~q∨~r) M7=(p∨q∨r)

为你推荐