Disjunction

Disjunction[expr,{a1,a2,}]

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

Details

Examples

open allclose all

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 ab to be satisfiable:

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

Properties & Relations  (5)

See Also

Or  Conjunction  Exists  Resolve  Sum  BooleanConvert

Introduced in 2008
(7.0)