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

Satisfiability - What is an example of satisfiability?


In terms of satisfiability, the formula "a AND NOT b" is a common example. If a = TRUE and b = FALSE, then (a AND NOT b) = TRUE, then the condition is satisfied. But there are no values that can make a formula like "a AND NOT a" true, hence it's unsatisfiable.