DUE DATE CHANGED TO 2/10 DUE TO INCLEMENT WEATHER
Do the following problems from DJV, and
show all work. Solutions must be hand-written
and turned in at the beginning of
class on 2/10.
1.2.12 (page 25):
Must provide linear equivalence proofs!
Also, the book just says to "find simpler formulas."
Here are the specific formulas you should simplify to:
a) P AND ((NOT Q) OR (NOT R))
b) (NOT Q) OR P
c) P OR ((NOT R) AND Q)
1.5.5 (page 54):
Must provide linear equivalence proofs!
1.5.9 (page 54)
After finding the formula, prove it is
equivalent using a linear equivalence proof!