Start free trial
Take Naologic for a spin today, no credit card needed and no obligations.
Start free trial

Satisfiability - What does it mean for an expression to be satisfiable?


When a model is available to make an expression true, we say that the expression is satisfiable. On the flip hand, if every model can be used to make an expression true, then it is valid.