Propositional Model Checking Algorithm Example Math Lesson