與 的乘積,表示為
一個基數為 的子集的 布林代數
的合取是
個函式
其中 。 例如,
的 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 --A Resource. https://mathworld.tw/Conjunction.html