Wolfram Mathematica Documentation Center
DOCUMENTATION CENTER SEARCH
Mathematica > Mathematics and Algorithms > Discrete Mathematics > Boolean Computation >
Mathematica > Mathematics and Algorithms > Logic & Boolean Algebra > Boolean Computation >
Built-in Mathematica SymbolSee Also »|More About »

Conjunction

Conjunction[expr,{a_(1),a_(2),...}]
gives the conjunction of expr over all choices of the Boolean variables ai.
  • Conjunction[expr, {a1, a2, ...}] effectively applies And to the results of substituting all possible combinations of True and False for the ai in expr.
EXAMPLESCLOSE ALL
Basic Examples   (3)
The conjunction over a set of variables:
In[1]:=
Click for copyable input
Out[1]=
 
Show that a formula is a tautology:
In[1]:=
Click for copyable input
Out[1]=
 
Find the conditions on a for aImpliesb to be true for any b:
In[1]:=
Click for copyable input
Out[1]=
New in 7
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team