符號簡介
邏輯或邏輯運算符有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))
保真性: 所有變數的真值皆為“真”的命題在邏輯或運算後的結果為真。 保假性: 所有變數的真值皆為“假”的命題在邏輯或運算後的結果為假。
