CS 182: Homework 1 - Propositional and Predicate Logic Exercises