The Satisfiability Problem

Consider the following problem, called the Satisfiability Problem:

Given any Boolean expression, with

(e.g., (A And B) Implies ((Not A and C) Or (B and Not C)))

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 Valid HTML 4.01! Valid CSS!