Click here to go to the first problem in the assignment
http://loncapa.gwu.edu/res/gwu/aepawl/logic_m1.problem