主析取范式的求法学习课件.pptVIP

 第一章 命题逻辑 内容回顾 定义 对于给定的命题公式，如果有一个等价公式 仅由小项的析取所组成，则该等价式称为原式的主析 取范式。 每个小项可用n位二进制编码表示。以变元自身出现的用1 表示，以其否定出现的用0表示： 小项的性质如下： （1）每一个小项当其真值指派与编码相同时，其真值为1，其余的2n－1种均为0; （2）任意两个不同小项的合取式永假： （3）全体小项的析取式永为真，记为： 主析取范式的求法 真值表法 等值演算法 趣味推理题 A、B、C三人去餐馆吃饭，他们每人要的不是火腿就是猪排。 （1）如果A要的是火腿，那么B要的就是猪排。 （2）A或C要的是火腿，但是不会两人都要火腿。 （3）B和C不会两人都要猪排。 谁昨天要的是火腿，今天要的是猪排？ 1．5．4 主合取范式 例如，2个命题变元p和Q 的大项为： 3个命题变元p、Q、R的大项为： n个命题变元共有2n个大项，每个大项可表示为n位二进制编码，以变元自身出现的用0表示，以变元的否定出现的用1表示；且对应十进制编码。这一点与小项的表示刚好相反。 若n= 2，则有 若n= 3，则有: 大项的性质如下： (1)每一个大项当其真值指派与编码相同时，其真值为0，其余的2n－1