Satisfiability

Definition
In mathematical logic, a formula is satisfiable if it is possible to find an interpretation that makes the formula true. }}