Propositional Model Checking Algorithm Meaning