Acompound proposition is satisfiable if there is an assignment of truth values to its variables that
makes it true. When no such assignments exists, that is, when the compound proposition is false
for all assignments of truth values to its variables, the compound proposition is unsatisfiable.
Read this topic