Conjunction


gives the conjunction of expr over all choices of the Boolean variables .

DetailsDetails

ExamplesExamplesopen allclose all

Basic Examples (3)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 to be true for any b:

In[1]:=
Click for copyable input
Out[1]=
New in 7
New to Mathematica? Find your learning path »
Have a question? Ask support »