Satisfiability

Definition

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