Wolfram Language & System 10.4 (2016)|Legacy Documentation

This is documentation for an earlier version of the Wolfram Language.View current documentation (Version 11.2)

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)