In propositional logic, a formula is satisfiable if and only if this formula is true for at least row in its truth table, otherwise the formula is said to be unsatisfiable.
In propositional logic, a formula is satisfiable if and only if this formula is true for at least row in its truth table, otherwise the formula is said to be unsatisfiable.