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

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

1.首先，我们需要了解一下数学概念。主合取范式，就是若干个极大项的合取（交集）。

2.主析取范式，就是若干个极小项的析取（并集）。

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

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

5.用真值表方法，求命题公式的主合取范式与主析取范式。

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)

0是合取式还是析取式？

主析取范式中极小项数目，与主合取范式中极大项数目，是互补的。 主析取范式是1，则含有全部极小项，因为主合取范式中极大项数目为0 也即此时主合取范式为空。

反过来，主合取范式是1，则 含有全部极大项，因为主析取范式中极小项数目为0 也即此时主析取范式为空。

主析取范式和主合取范式能出现同值吗？

主析取范式中极小项数目，与主合取范式中极大项数目，是互补的。 主析取范式是1，则含有全部极小项，因为主合取范式中极大项数目为0 也即此时主合取范式为空。

反过来，主合取范式是1，则 含有全部极大项，因为主析取范式中极小项数目为0 也即此时主析取范式为空。

求命题公式pvq→r→p的主析取范式和主合取范式？

用p'表示非p,用乘表示合取，用加表示析取。[（p+q）→r]→p=[(p+q)'+r]'+p=(p+q)r'+p=pr'+qr'+p=p+qr'=(p+q)(p+r').

永真式的合取范式是什么？

主析取范式 在给定的命题公式中，如果有一个等价公式，它仅由小项的析取所组成，则该等价式称作原式的主析取范式。 主析取范式的惟一性 任意含n个命题变元的非永假命题公式a，其主析取范式是惟一的。 主合取范式的惟一性 任意含n个命题变元的非永真命题公式a，其主合取范式是惟一的。

真值表的主范式求法

1、在真值表中，一个公式的真值为t的指派所对应的小项的析取，即为此公式主析取范式。

2、在真值表中，一个公式的真值为f的指派所对应的大项的合取，即为此公式主合取范式。 主范式的等值演算法 对于一个给定n个变元的命题公式a，都可通过等值变换，化为惟一的主析取范式或主合取范式。 主范式之间的关系 设命题公式中含有n个命题变元，且a的主析取范式中含有k个小项 ，则a的主合取范式必含有 个大项。