【数学】布尔逻辑运算

逻辑运算是重要的论推演工具，应用于基础数学中的分析，代数，拓扑领域，以及组合数学中的计算方法，也是电路板底层设计的重要组分。

一元逻辑运算

非门 $\neg x$

数字表示

非	0	1
	1	0

文字表示

非	假	真
	真	假

$\neg (\neg x)=x$

Python 代码

a=True
b=False
print(not(a)，not(b)) 

二元逻辑运算

与门 $x\wedge y$

与	0	1
0	0	0
1	0	1
运算律

• 同一律 $x\wedge x=x$
• 交换律 $x\wedge y=y\wedge x$
• 结合律 $(x\wedge y)\wedge z=x\wedge (y\wedge z)$
  Python 代码

a=True
b=False
print(a and b) 

或门 $x\vee y$

或	0	1
0	0	1
1	1	1

运算律

• 同一律 $x\vee x=x$
• 交换律 $x\vee y=y\vee x$
• 结合律 $(x\vee y)\vee z=x\vee (y\vee z)$
  Python 代码

a=True
b=False
print(a or b) 

与门，或门的混合运算

• 分配率 $(x\vee y)\wedge z=(x\wedge z)\vee (y\wedge z)$
• 分配率 $(x\wedge y)\vee z=(x\vee z)\wedge (y\vee z)$

与门，或门，非门的混合运算

• 德尔摩根定律 $\neg (x\wedge y)=(\neg x)\vee (\neg y)$
• 德尔摩根定律 $\neg (x\vee y)=(\neg x)\wedge (\neg y)$

异或门 $x\oplus y$

异或门	0	1
0	0	1
1	1	0
Python 代码

a=True
b=False
print(a ^ b) 

多元逻辑运算

与门

${\bigwedge }_{i=1}^n{x}_i=x_1\wedge x_2\cdots \wedge x_n$
Python 代码

a=[1,0,1,0,0]
print(all(a)) 

或门

${\bigvee }_{i=1}^n{x}_i=x_1\vee x_2\cdots \vee x_n$

Python 代码

a=[1,0,1,0,0]
print(any(a))