Definition:Satisfiable (Boolean Interpretations)