(Note: the book's use of | and down-arrow for NAND and NOR is not standard---don't expect to see it again. The circuit notation in Section 9.3 is standard, though.)
(Note: the book has a serious notational error on p.~621. The circuits are {\it combinational}, not {\it combinatorial}. This mis-use of the word {\it combinatorial} brands someone as not knowing anything about computer science and engineering. The author is a mathematician, and could be forgiven for this error in the first edition of his book---but this is the 3rd edition.)