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]=
Introduced in 2008
(7.0)