A conjunction is a product of ANDs , denoted
The conjunctions of a family subsets of a set Boolean functions
where intersections
need not be distinct for a particular family . For example,
the 8 conjunctions of
A literal is considered a (degenerate) conjunction (Mendelson
1997, p. 30).
The Wolfram Language command Conjunction expr ,
{a1 , a2 , ...}] gives the conjunction of expr over all choices
of the Boolean variables
See also AND ,
Boolean Algebra ,
Boolean Function ,
Complete
Product ,
Disjunction ,
NOT ,
OR ,
Vacuous Truth
Explore with Wolfram|Alpha
References Comtet, L. Advanced Combinatorics: The Art of Finite and Infinite Expansions, rev. enl. ed. Mendelson, E. Introduction
to Mathematical Logic, 4th ed. Referenced
on Wolfram|Alpha Conjunction
Cite this as:
Weisstein, Eric W. "Conjunction." From
MathWorld https://mathworld.wolfram.com/Conjunction.html
Subject classifications
of subsets of a set 
are the formal Boolean functions
and 
. There are 
choices of 
, but their intersections
need not be distinct for a particular family. For example,
the 8 conjunctions of 
are 
, 
, 
, 
, 
, 
, 
, and 
(Comtet 1974, p. 186).
.
