逻辑或是两个逻辑变量的一种运算,经常是两个命题的运算。它满足:当且仅当其两个变量的真值都为假时,其结果为假。
A或B的真值表(也写作AB(逻辑学),A || B(计算机科学),或A + B(电子学))。
A | B | ∨ |
---|---|---|
真 | 真 | 真 |
真 | 假 | 真 |
假 | 真 | 真 |
假 | 假 | 假 |
A | B | ∨ |
---|---|---|
真 | 真 | 真 |
真 | 假 | 真 |
假 | 真 | 真 |
假 | 假 | 假 |
逻辑或满足以下性质:
结合律:
交换律:
分配律:
幂等律:
单调性:
保真性: 所有变量的真值皆为“真”的命题在逻辑或运算后的结果为真。
保假性: 所有变量的真值皆为“假”的命题在逻辑或运算后的结果为假。
逻辑或常在位运算中使用,比如:
0 or 0 = 0
0 or 1 = 1
1 or 0 = 1
1 or 1 = 1
1100 or 1010 = 1110
运算符可以用来将比特域中的位设定为1,方法是把此域和一个各位均为1的常量域取逻辑或运算。