充足可能性問題
An "instance of the Boolean satisfiability problem" is a Boolean expression that combines Boolean variables using Boolean operators.