SatisfiableQ

SatisfiableQ[bf]

gives True if a combination of values of variables exists that makes the Boolean function bf yield True.

SatisfiableQ[expr,{a1,a2,…}]

gives True if a combination of values of the ai exists that makes the Boolean expression expr yield True.

Examples

open all close all

Basic Examples  (2)

Test whether Boolean expressions are satisfiable:

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

Test whether pure Boolean functions are satisfiable:

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

Properties & Relations  (4)

Introduced in 2008
(7.0)