Chapter 1 shows you the value of Canonical representation as a formal way to come up with circuit designs.
If like me the first time you try this you come up with a working design with a very large number of gates your next question is what is the formal method for reducing/simplifying your canonical representation.
I found this excellent reference explaining how.
http://www.uotechnology.edu.iq/dep-eee/lectures/1st/Digital%20techniques/part2.pdfNot only does it break down all the rules for simplification but it gives functional example with logi gates as to why each rule works. Nice stuff.
Hope this helps others like my that skipped high school maths lessons. :-)