与 的乘积,表示为
一个基数为 的子集的 布尔代数
的合取是
个函数
其中 。 例如,
的 8 个合取是
、
、
、
、
、
、
和
(Comtet 1974, p. 186)。
文字 被认为是(退化的)合取 (Mendelson 1997, p. 30)。
Wolfram 语言 命令合取[expr, a1, a2, ...
] 给出了 expr 在布尔变量
的所有选择上的合取。
与 的乘积,表示为
一个基数为 的子集的 布尔代数
的合取是
个函数
其中 。 例如,
的 8 个合取是
、
、
、
、
、
、
和
(Comtet 1974, p. 186)。
文字 被认为是(退化的)合取 (Mendelson 1997, p. 30)。
Wolfram 语言 命令合取[expr, a1, a2, ...
] 给出了 expr 在布尔变量
的所有选择上的合取。
Weisstein, Eric W. "Conjunction." From MathWorld--A Wolfram Web Resource. https://mathworld.net.cn/Conjunction.html