Page "Boolean satisfiability problem" Paragraph 0
from
Wikipedia
In computer science, satisfiability ( often written in all capitals or abbreviated SAT ) is the problem of determining if the variables of a given Boolean formula can be assigned in such a way as to make the formula evaluate to TRUE.
Equally important is to determine whether no such assignments exist, which would imply that the function expressed by the formula is identically FALSE for all possible variable assignments.
For example, the formula a AND b is satisfiable because one can find the values a = TRUE and b = TRUE, which make ( a AND b ) = TRUE.
To emphasize the binary nature of this problem, it is frequently referred to as Boolean or propositional satisfiability.
Page 1 of 1.
2.138 seconds.