Propositional Model Checking Algorithm