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.