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

Assignment #1 (due Wed, Oct1):

  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]

Assignment #2 (due Wed, Oct 8):
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 (due Oct 15)
2.4 (c)          15 points
3.1 (a),(c),(e)  15 points each
3.4 (a),(b)      20 points each

HW4(due Wed 22)
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 (due Mon, Nov 3)
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 (due Mon, Nov 10)
See http://www.stanford.edu/class/cs156/pivc_assignment.html for details

HW7(due Mon, Nov 17) 
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(last) due Mon Dec 1,08
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