Satisfiable Formula (Propositional Logic)

propositional-logic

Definition

Satisfiable Formula (Propositional Logic)

A propositional formula is satisfiable if there exists a truth assignment that makes it true.