永真式的合取范式是什么

2026-08-02 23:49:00 3次

问题描述：

永真式的合取范式是什么，有没有大佬愿意带带我？求帮忙！

婉晴说事

问答领域知识达人

2026-08-02 23:49:00

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

真值表的主范式求法

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

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

天马行天空

问答领域知识达人

2026-08-02 23:49:00

永真式的合取范式是在含变元的基本积中，若每个变元与其否定不同时存在，而二者选其一且仅出现一次，则称这种基本积为极小项。

若每个变元及其否定不同时存在，而二者选其一且仅出现一次，则称这种基本积为极大项。

每个命题变项及其否定只出现一次，所有的极小值（主析取范式对应）或极大值（主合取范式对应）放到一张表格，并赋值则为真值表。

确定中间的联结词是析取，然后如果分出的多个合取范式有缺少命题的，用排中律（矛盾律）加上。