主題
Search

合取


的乘積,表示為

  ^ _(k=1)^nA_k.

一個基數為 p 的子集的 布林代數 A 的合取是 2^p 個函式

 A_lambda= union _(i in lambda)A_i,

其中 lambda subset {1,2,...,p}。 例如,A={A_1,A_2,A_3} 的 8 個合取是 emptysetA_1A_2A_3A_1A_2A_2A_3A_3A_1A_1A_2A_3 (Comtet 1974, p. 186)。

文字 被認為是(退化的)合取 (Mendelson 1997, p. 30)。

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


另請參閱

AND, Boolean Algebra, Boolean Function, Complete Product, Disjunction, NOT, OR

使用 探索

參考文獻

Comtet, L. Advanced Combinatorics: The Art of Finite and Infinite Expansions, rev. enl. ed. Dordrecht, Netherlands: Reidel, p. 186, 1974.Mendelson, E. Introduction to Mathematical Logic, 4th ed. London: Chapman & Hall, 1997.

請按如下方式引用

Weisstein, Eric W. "Conjunction." From --A Resource. https://mathworld.tw/Conjunction.html

主題分類