OR （或）

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

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

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

(Mendelson 1997, p. 26)。

二元 OR 運算子具有以下真值表 (Carnap 1958, p. 10; Simpson 1987, p. 542; Mendelson 1997, p. 13)。

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

OR 的乘積稱為析取，記為

例如，三元 OR 運算子的真值表如下所示 (Simpson 1987, p. 543)。

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

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