 Homework 2General Comments
 For full credit, provide context for each problem, show all calculations,
and justify all answers by providing enough comments to explain your reasoning.
 Homework assignments must be very neatly written or typeset
(e.g. using Word or OpenOffice).
 You can get up to 50% credit on a problem if you get significant outside assistance. Thus, if you are totally stuck on a problem it might be worth getting help. However, you must indicate any assistance/collaboration (See the Homework Assistance section on the Policies page). Failure to do so could result in a failing grade for the course! Note that getting help from the Help Center or me does not count as significant outside assistance, but talking with your classmates or searching on the Internet does!
 If a problem asks for an algorithm,
you should give the most efficient algorithm you can find to ensure full credit.
You should also specify the complexity of the algorithm with justification,
whether or not the problem asks for it.
Details
 (4) Draw a truth table for ¬p⊕q.
 (4) Draw a truth table for (¬p∨r)↔¬(q⋀r).
 (16) Problem 2.12 from AIDMA (about NOR).
 (12) Problem 2.18 f,g,h,i from AIDMA. (Hint: Start by defining L(x,y)="x loves y." Then be careful—what is "a is loved by b?")


