All assignments are due at the beginning of class on the date specified.

A list of typos of the textbook could be found at:
http://theory.stanford.edu/~arbrad/book/typos.html

HW1:

  1.1 e, f [10 points each]
  1.2 s, x [10 points each]
  1.3 Note typo: the last disjunction (or) symbol should be a conjunction (and) symbol [30 points]
  1.5 d [30 points]

HW2:
1.5d (15 points) Convert this formula to an equisatisfiable formula using the efficient method
1.8b (15 points)
2.1 c,d (5 points each)
2.2 a,b,e (10 points each)
2.3 e,h,j (10 points each)


HW3:
2.4 (c)          15 points
3.1 (a),(c),(e)  15 points each
3.4 (a),(b)      20 points each

HW4:
3.5(a)(b) (15 points each)
3.6(a)(d) (15 points each)
4.1(a)(b) (15 points each)
4.4       (10 points)


HW5:
5.1(a) (use Fig 5.25) 20 points
5.2(a)(b)             15 points each
5.3(1)(2)(5)          10 points each
5.4 for 5.1(a)        20 points   


HW6:
See http://www.stanford.edu/class/cs156/pivc_assignment.html for details

HW7:
Problem 7.2(a)(c)  15 points each
Problem 7.4(b)(e)  15 points each
Problem 7.6: For 7.2(d)    20 points
Problem 9.1 (b)(d) 10 points each 

HW 8:
9.2 (for 9.1(a)(e))   15 points each
9.6 (a)(b)            15 points each 
10.1 (a)              10 points
10.2 (a)(b)           15 points each