CS 371: Introduction to Artificial Intelligence
		Propositional Logic