Propositional Model Checking Algorithm And Flowchart