逻辑学中用于描述通常称为 OR 的运算的术语。文字被认为是(退化的)析取(Mendelson 1997, p. 30)。
Wolfram 语言命令析取[expr, a1, a2, ...
] 给出 expr 在布尔变量
的所有选择上的析取。
逻辑学中用于描述通常称为 OR 的运算的术语。文字被认为是(退化的)析取(Mendelson 1997, p. 30)。
Wolfram 语言命令析取[expr, a1, a2, ...
] 给出 expr 在布尔变量
的所有选择上的析取。
Weisstein, Eric W. "析取。" 来自 —— 资源。 https://mathworld.net.cn/Disjunction.html