Consider the following problem, called the Satisfiability Problem:
Given any Boolean expression, with
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 |