Assignment 3 for my AI course.  Implements various functions to work with propositional logic statements with the end goal of solving the "monkey and banana problem."