布尔逻辑

简介

布尔(Boolean)是一种逻辑数据类型，通常用于条件语句

值

布尔类型只有两种值，即

• 真(true)

• 假(false)

运算

非(not)，在数学上记作否定(¬)

• true => false

• false => true

与(and)，在数学上记作合取(∧)

• 当a、b均为真时，a与b为真

• 否则为假

或(or)，在数学上记作析取(∨)

• a、b之一为真时，a或b为真

• 否则为假

• 你可以尝试用not和and的复合运算表示or

异或(xor)，在数学上记作⊻

• 当a、b不同时为真

• 否则为假

• 易证满足分配律、结合律

• 你可以尝试用not和or的复合运算表示xor