Start free trial
Take Naologic for a spin today, no credit card needed and no obligations.
Start free trial Question
Satisfiability - What does it mean for an expression to be satisfiable?
Answer
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.
