析取

邏輯學中用於描述通常稱為 OR 的運算的術語。文字被認為是（退化的）析取（Mendelson 1997, p. 30）。

Wolfram 語言命令析取[expr, a1, a2, ...] 給出 expr 在布林變數 的所有選擇上的析取。