Definition:Boolean Satisfiability Problem

Given a set of binary boolean variables $X$ and a list of one or more logical expresions $L$ find values for all $x \in X$ such that all the expressions in $L$ are true.

For example if $L$ is defined by:
 * $ \neg x_1 \lor \neg x_2$
 * $x_3$
 * $x_3 \implies x_2$

is then the solution is:
 * $ x_1 = false$
 * $x_2 = true$
 * $x_3 = true$