Disjunction

Disjunction[expr,{a1,a2,}]
gives the disjunction of expr over all choices of the Boolean variables .

DetailsDetails

ExamplesExamplesopen allclose all

Basic Examples  (3)Basic Examples  (3)

The disjunction over a set of variables:

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

Check whether an expression is satisfiable:

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

Find the conditions on a for to be satisfiable:

In[1]:=
Click for copyable input
Out[1]=
Introduced in 2008
(7.0)