逻辑

逻辑：兼顾完整性和排他性

与∧
或∨
非﹁
异或（A或者B,但不能都满足)

A	B	A⊕B
true	true	false
true	false	true
false	true	true
false	false	false

相等
﹁（A⊕B）=（A=B）

A	B	A=B
true	true	true
true	false	false
false	true	false
false	false	true

蕴含
若A则B
A⇨B=(﹁A)∨B

A	B	A⇨B
true	true	true
true	false	false
false	true	true
false	false	true

德·摩根律
(﹁A)∨(﹁B)=﹁(A∧B)
(﹁A)∧(﹁B)=﹁(A∨B)
文式图
卡诺图 三灯游戏

三值逻辑， “短路运算”：

不满足交换律
带条件的与&&

A	B	A&&B
true	true	true
true	false	false
true	undefined	undefined
false	true	false
false	false	false
false	undefined	false
undefined	true	undefined
undefined	false	undefined
undefined	undefined	undefined

带条件的或||

A	B	A||B
true	true	true
true	false	true
true	undefined	true
false	true	true
false	false	false
false	undefined	false
undefined	true	undefined
undefined	false	undefined
undefined	undefined	undefined

三值逻辑中的否定

A	!A
true	false
false	true
undefined	undefined

三值逻辑中德·摩根律同样成立