主析取范式与主合取范式怎么求（主析取范式）

大家好，我是小夏，我来为大家解答以上问题。主析取范式与主合取范式怎么求，主析取范式很多人还不知道，现在让我们一起来看看吧！

1、原发布者:鼠洪N4820

2、第一章命题逻辑第七讲内容回顾定义对于给定的命题公式，如果有一个等价公式仅由小项的析取所组成，则该等价式称为原式的主析取范式。小项定义n个命题变元的合取式，称为布尔合取或小项，其中每个变元与它的否定不能同时存在，但两者必须出现且仅出现一次。每个小项可用n位二进制编码表示。以变元自身出现的用1表示，以其否定出现的用0表示：m000pqr,m100pqr,m001pqr,m101pqr,m010pqr,m110pqr,m011pqr,m111pqr.小项的性质如下：（1）每一个小项当其真值指派与编码相同时，其真值为1，其余的2n－1种均为0;(ij)（2）任意两个不同小项的合取式永假：mimj0（3）全体小项的析取式永为真，记为：2n-1i0mim0m1m2n-11主析取范式的求法•真值表法•等值演算法趣味推理题•A、B、C三人去餐馆吃饭，他们每人要的不是火腿就是猪排。（1）如果A要的是火腿，那么B要的就是猪排。（2）A或C要的是火腿，但是不会两人都要火腿。（3）B和C不会两人都要猪排。谁昨天要的是火腿，今天要的是猪排？只有B才能昨天要火腿，今天要猪排。1．5．4主合取范式定义1-n个命题变元的析取式，称为布尔析取或极大项，其中每个变元与它的否定不能同时存在，但两者

本文到此讲解完毕了，希望对大家有帮助。