24真值表1概念40课件讲解.pptVIP

2.4真值表1.概念用真值表制表的推理模式是由弗雷格、查尔斯·皮尔士和恩斯特·施罗德于1880年代所发明的。真值表是使用于逻辑中（特别是在连结逻辑代数、布尔函数和命题逻辑上）的一类数学用表，用来计算逻辑表示式在每种论证（即每种逻辑变数取值的组合）上的值。尤其是，真值表可以用来判断一个命题表示式是否对所有允许的输入值皆为真，亦即是否为逻辑有效的。真值表描述了输入、输出变量的逻辑因果关系，用1表示条件和结论成立，用0表示条件和结论不成立，从而将逻辑命题数学化，最终得到该逻辑命题的输入条件和输出结论之间的全部真伪关系。2.4真值表2.真值表地位逻辑命题（语言文字形式）逻辑关系式（数学表达式）真值表逻辑命题语言描述数学化的桥梁2.真值表结构输入输出ABCDY因（条件）果（结果）3.实例逻辑命题:四人表决器，多数通过命题分析：4人投票，3人和3人以上同意，通过第一步：从命题中找出条件（因）和结果（果）条件：4个人，设A，B，C，D分别代表四人。结果：设y。第二步：给逻辑变量赋含义，同意用1表示，不同意用0表示，通过用1表示，不通过用0表示。实例第三步：构建真值表框架输入输出ABCDY???????????????????????????????????????????????????????????????????????????实例第四步：将输入所有值填入输入输出ABCDY0000?0001?0010?0011?0100?0101?0110?0111?1000?1001?1010?1011?1100?1101?1110?1111?防止漏项，严格按全0到全1，逐步递增方式填实例第五步：填输出结果输入输出ABCDY00000000100010000110010000101001100011111000010010101001011111000110111110111111注意：结果是根据逻辑命题推导出来的，不是算出来的总结（1）真值表是描述逻辑函数功能的最底层工具；（2）真值表是先结构而后内容的，列写时，输入部分从全0到全1，递增顺序全排列，以防漏状态；（3）真值表是想出来的，不是算出来的。