逻辑:兼顾完整性和排他性
与∧
或∨
非﹁
异或(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 |
三值逻辑中德·摩根律同样成立