##############################################################################
# HW5
##############################################################################

Due Nov 16, 6PM

On Logic and KRep, Chaps 6-9:

Warning!!  this is a longer homework assignment...

6.15 (all)  <-- there is programming involved
7.2 (a-g)
7.3 (a-d)
7.4
7.5
7.14
9.1

Extra Credit:

7.2 (h-j)
7.3 (f-i)