联结词全功能集3(张).ppt

联结词全功能集 福建师范大学数学与计算机科学学院 回顾 命题符号化 （符号） 联结词 （运算） 等值演算 （运算律与化简） 用等值演算法证明公式类型 用等值演算法证明等值式 求解实际问题 例 应用题 在某次研讨会的中间休息时间，3名与会者根据王教授的口音对他是哪个省市的人进行了判断： 甲说王教授不是苏州人，是上海人。 乙说王教授不是上海人，是苏州人。 丙说王教授既不是上海人，也不是杭州人。 听完以上3人的判断后，王教授笑着说，他们3人中有一人说的全对，有一人说对了一半，另一人说的全不对。试用逻辑演算法分析王教授到底是哪里人？ 设命题 p：王教授是苏州人。 q：王教授是上海人。 r：王教授是杭州人。 p,q,r中或者全假; 或者有一个真命题，两个假命题。 甲说王教授不是苏州人，是上海人 A=┐p∧q 乙说王教授不是上海人，是苏州人 B=p∧┐q 丙说王教授既不是上海人，也不是杭州人 C=┐q∧┐r 解答 列真值表： p q r ┐p ┐q ┐r ┐p∧q p∧┐q ┐q∧┐r 0 0 0 1 1 1 0 0 1 1 0 0 0 1 1 0 1 1 0 1 0 1 0 1 1 0 ０ 0 0 1 1 1 0 0 0 0 根据王教授说，他们3人中有一人说的全对，有一人说对了一半，另一人说的全不对。 可知：A，Ｂ，Ｃ恰有一个为真，于是可得 ｐｑｒ的赋值只能是０００或０１０。 如果是０００，则甲、乙都说对了一半，与已知不符；所以ｐｑｒ的赋值为０１０。即王教授是上海人。 联结词全功能集 复合联结词 排斥或 与非式 或非式 真值函数 联结词全功能集 排斥或（异或,排斥或） 两个命题公式P和Q的排斥或是一个新命题公式， 记作P Q。当且仅当P、Q真值不同时， P Q 为T， 其他情况下的真值都是F。 异或联结词的性质： （1）P Q ?（P∧┐Q）∨（┐P∧Q） （2）P Q? ┐(P?Q） （3）P P?0，0 P ? P，1 P ? ┐P （4）P Q?Q P 交换律 （5）（P Q） R ?P （Q R） 结合律 （6）P∧（Q R）?（P∧Q） （P∧R）分配律 （课后习题） 与非 设P和Q是两个命题公式， P和Q的与非是一个新命题公式，记作P ? Q。当且仅当P和Q的真值都为 T时， P ? Q 为F ，其他情况下P ? Q的真值都是T 。（ ? 读为“竖”） 根据此定义，可知 P ? Q ? ┐（P∧Q） 全真为假 见假为真 或非 设P和Q是两个命题公式， P和Q的或非是一个新命题公式，记作P ? Q。当且仅当P和Q的真值都为 F 时， P ? Q 为T ，其他情况下P ? Q的真值都是F 。（ ? 读成“箭”） 根据此定义，可知 P ? Q ? ┐（P ∨ Q） 全假为真 见真为假 问题：多少个联结词最合适？ 真值函数 问题：含n个命题变项的所有公式共产生多少个互 不相同的真值表？ 答案为 个，为什么？ 定义 称定义域为{00…0, 00…1, …, 11…1}，值域 为{0,1}的函数是n元真值函数，定义域中的元素是 长为n的0,1串. 常用F:{0,1}n?{0,1} 表示F是n元真值 函数. 真值函数共有 个。 例如 F:{0,1}2?{0,1}，且F(00)=F(01)=F(11)=0， F(10)=1，则F为一个确定的2元真值函数. 命题公式与真值函数 2元真值函数对应的真值表（书上表1-6） p q 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 p q 0 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0