Conjunction

Conjunction[expr,{a1,a2,}]

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

Details

Examples

open allclose 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 ab to be true for any b:

In[1]:=
Click for copyable input
Out[1]=

Properties & Relations  (5)

See Also

And  Disjunction  ForAll  Resolve  Product  BooleanConvert

Introduced in 2008
(7.0)