Due to some MOED B exams of many of you we graciously give you 3 more days for HW #2 (until 0600pm). Notice that this date is already Passover vacation, and so if you wish not to arrive just for sumbission you should hand it by this Wednesday. No scanning/e-mailing of HW will be accepted.
Regarding question 7: the definition of CNF will be given in the lecture this week but for those of you who wish to solve it this weekend you can look at its simple definition in lecture 4, slide 48 (slides). This is all you need to know to solve the question.