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 页）。