逻辑式与真值表

逻辑式与真值表0110111011101111.逻辑式概念由常量1,0以及逻辑变量经逻辑运算构成的式子叫做逻辑代数式。简称逻辑式。例如AABCD，（B+C），A,1,0等都是逻辑式将各逻辑变量取定的一组值代入逻辑式，经过运算，可以得到逻辑式的一个值（0或1）.1、逻辑式真值表概念如何列真值表一、分析式子中的逻辑变量及其个数二、利用树形图分析列表的行数三、根据式子分析列表列数00A用真值表验证下列等式是否成立：AA0010000AA0AA00101AA0A1AA10101AA1A1AA1011111AAAAAA0101AAAAAAAA0101AAAAAAAAA0011000AAAAAAAA0011111AAABBA用真值表验证下列等式是否成立：BA00001111BA0011AB0000ABBAABBA用真值表验证下列等式是否成立：BA00001111BA0111AB1011ABBAACABCBA)(用真值表验证下列等式是否成立：ABCCB)(CBABACACABAABCCB)(CBABACACABA0000111100000011111111000011111100000111000000000000111100000111ACABCBA)()CA()BA()CB(A用真值表验证下列等式是否成立：ABCCB)CB(ABACA)CA()BA(ABC0000111100000011111111000110000000011111000011111111111100011111)CA()BA()CB(ABABA用真值表验证下列等式是否成立：BABAABAAABAA)(BABA用真值表验证下列等式是否成立：BABABAAB0000111111110000BA000001111111BABA可以看出对于逻辑变量的任何一组值，与的值都相等所以BABABABA用真值表验证下列等式是否成立：AABBABABAABBABABAABBABAB0000111111110000100111100110011111001例2完成下面的真值表AB11011000A·BA+BBA101010110001001BABABAABBABABABAABBA0000000011111111000011111000可以看出对于逻辑变量的任何一组值，ABAB与的值都相等ABAB．所以用真值表验证下列等式是否成立：))((BABABABAABABABABAB01000011111101011111101000010000A+BBA()()ABAB可以看出对于逻辑变量的任何一组值，与ABAB()()ABAB的值都相同，所以()()ABABABAB．三、例题与练习三、例题与练习例1写出下列各式的运算结果（1）10（2）101（3）101等值逻辑式如果对于逻辑变量的任何一组取值，两个逻辑式的值都相等，这样的两个逻辑式叫做等值逻辑式。等值逻辑式可用“=”连接，并称为等式，需要注意的是，这种相等是状态的相同。例4如图所示，开关电路中的灯D的状态，能否用开关A，B，C的逻辑运算来表示？试给出结果．分析这个电路是开关A，B，C相并联的电路，三个开关中至少有一个“合上”时，电灯D就亮．所以使用逻辑加法．解D=A+B+C．三、例题与练习AB三、例题与练习练习2填写下列真值表ABABABABBA三、例题与练习练习2填写下列真值表ABABAB0000111010010100101101111000A+BBA用真值表验证等式ABAB．用真值表验证等式()()()ABBCCAABBCCA．三、例题与练习练习3