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)。