逻辑运算又称布尔运算 布尔用数学方法研究逻辑问题,成功地建立了逻辑演算。他用等式表示判断,把推理看作等式的变换。这种变换的有效性不依赖人们对符号的解释,只依赖于符号的组合规律 。这一逻辑理论人们常称它为布尔代数。20世纪30年代,逻辑代数在电路系统上获得应用,随后,由于电子技术与计算机的发展,出现各种复杂的大系统,它们的变换规律也遵守布尔所揭示的规律。逻辑运算 (logical operators) 通常用来测试真假值。最常见到的逻辑运算就是循环的处理,用来判断是否该离开循环或继续执行循环内的指令。
常用逻辑运算定理
交换律原等式 A·B=B·A , 对偶式 A+B=B+A
结合律原等式 A(BC)=(AB)C ,对偶式 A+(B+C)=(A+B)+C
分配律 原等式A(B+C)=AB+AC,对偶式 A+BC=(A+B)(A+C)
自等律原等式 A·1=A ,对偶式 A+0=A
0-1律 原等式A·0=0 ,对偶式 A+1=1
互补律 原等式A·A=0 ,对偶式 A+A=1
重叠律原等式 A·A=A,对偶式 A+A=A
吸收律 原等式A+AB=A ,对偶式 A·(A+B)=A