Consider the following problem, called the Satisfiability Problem:

Given any Boolean expression, with

• logical variables and
• operators Not, And, Or, Implies

Can logical variables True and False be assigned to the variables, so that the resulting expression is True?

Possible Solutions?

created 3 January 2007 last revised 7 January 2007

previous   next