逻辑或，是逻辑运算符，符号是“||”(在PASCAL中为"or")。 “逻辑或”相当于生活中的“或者”，当两个条件中有任一个条件满足，“逻辑或”的运算结果就为“真”

定义

真值表

性质

逻辑运算符把各个运算的变量（或常量）连接起来组成一个逻辑表达式。它可以再键盘上通过使用两次组合键“shift+\\” 打出来。

逻辑运算符有4个，它们分别是： ！(not)（）、 ||(or)（逻辑或）、&&(and)（逻辑与） ^(xor)（异或）。在位运算里面还有 &（位与）、|（位或）的运算。(PASCAL语言中逻辑与位运算使用同个操作符)

什么是逻辑运算 ? 逻辑运算用来判断一件事情是“对”的还是“错”的，或者说是“成立”还是“不成立”，判断的结果是二值的，即没有“可能是”或者“可能不是”，这个“可能”的用法是一个模糊概念，在计算机里面进行的是二进制运算，逻辑判断的结果只有二个值，称这二个值为“逻辑值”("True"或"False")，用数的符号表示就是“1”和“0”。其中“1”表示该逻辑运算的结果是“成立”的，如果一个逻辑运算式的结果为“0”，那么这个逻辑运算式表达的内容“不成立“。

例子:

0 || 0 = 0;

1 || 0 = 1;

0 || 1 = 1;

1 || 1 = 1;

定义

逻辑或是两个逻辑变量的一种运算，经常是两个命题的运算。它满足：当且仅当其两个变量的真值都为假时，其结果为假。

真值表

A或B的真值表（也写作AB（逻辑学），A || B（计算机科学），或A + B（电子学））。

A　B　∨

真　真　真

真　假　真

假　真　真

假　假　假

性质

逻辑或满足以下性质：

结合律: A||B||C）≡ (A||B)||C

交换律: A||B ≡ B||A

分配律: A||(B∧C) ≡ ((A||B)∧(A||C))

A∧(B||C) ≡ ((A∧B)||(A∧C))

A||(B≡C) ≡ ((A||B)≡(A||C))

幂等律: A||A ≡ A

单调性: (A→B)→((C||A)→(C||B))

(A→B)→((A||C)→(B||C))

保真性: 所有变量的真值皆为“真”的命题在逻辑或运算后的结果为真。 保假性: 所有变量的真值皆为“假”的命题在逻辑或运算后的结果为假。