Task: Solve P4.15 in your text. Here's where you can find the problem statement: 

https://www.cs.indiana.edu/classes/c212-dgerman/spr2013/classNotes/four/image027.jpg

Please feel free to make all the simplifications that do not modify the core of the problem.