Satisfiability of
Propositional Logic