HW #2: Building an Inference Engine

#Overview For this homework assignment, you will be implementing a propositional logic resolution-based inference engine. There are 3 distinct parts, and you are free to complete as much as you are confortable with, but please do not start a later portion ...