OR

邏輯學中的一個連線詞，如果一系列條件中的任何一個為真，則結果為真；如果所有條件都為假，則結果為假。在形式邏輯中，術語析取（或更具體地說，相容析取）通常用於描述 OR 運算子。 OR 表示為 （Mendelson 1997，第 13 頁），，（Simpson 1987，第 539 頁），或 （Simpson 1987，第 539 頁）。上面說明了 OR 門的電路圖符號。

符號 源自拉丁詞 "vel" 的首字母，意思是“或”，表示式 可以讀作“ 或 ”或“ vel ”。區分相似符號 (AND) 和 (OR) 的方法是注意 AND 的符號方向與大寫字母 'A' 的方向相同。OR 運算在 Wolfram 語言 中實現為Or[A, B, ...].

OR 運算可以用 NOT 和 AND 表示為

(Mendelson 1997，第 26 頁)。

二元 OR 運算子具有以下真值表（Carnap 1958，第 10 頁；Simpson 1987，第 542 頁；Mendelson 1997，第 13 頁）。

真	真	真
真	假	真
假	真	真
假	假	假

OR 的乘積稱為析取，表示為

例如，三元 OR 運算子的真值表如下所示（Simpson 1987，第 543 頁）。

真	真	真	真
真	真	假	真
真	假	真	真
真	假	假	真
假	真	真	真
假	真	假	真
假	假	真	真
假	假	假	假

還可以定義一個按位 OR 版本，它對兩個數字 和 的二進位制數字執行按位 OR 運算，然後將結果二進位制數轉換回十進位制。按位 OR 有時表示為 ，並在 Wolfram 語言 中實現為BitOr[n1, n2, ...]。上面的圖示繪製了從 到 31 的數字陣列的按位 OR 運算結果（Wolfram 2002，第 871 頁）。