Propositional Model Checking Algorithm Example Flowchart For Solving