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]=
New in 7
New to Mathematica? Find your learning path »
Have a question? Ask support »