Homework 2
(due Friday, January 24)
Instructions: This homework is to be submitted on GradeScope as a single pdf (not in parts) by
11:59 pm on the due date. You may either type your solutions in a word processor and print to
a pdf, or write them by hand and submit a scanned copy. Do write and submit your answers as
if they were a professional report. There will be point deductions if the submission isn’t neat (is
disordered, difficult to read, scanned upside down, etc. . . .).
Begin by reviewing your class notes, the slides, and the textbook. Then do the exercises below.
Show your work. An unjustified answer may receive little or no credit.
Tint: Programs will be submitted on BlackBoard (instructions to follow). For GradeScope, all you
have to submit is a printout of your programs.
Note: You may find problem 11e easier to solve after Tuesday’s class.
Read: 1.2 (for Tuesday), 1.3 (for Friday)
1. [6 Points] For the Tseitin word problem discussed in class, are the words in the following
pairs equivalent? Prove your answers.