Propositional Model Checking Algorithm Example Pdf