Corollary 8: The 1 in the final equation should be 0, making it $\bar b_m + \bar c_m + \bar d_m = 0$.
Section 4, Step 4: The final line should read the sixteen clauses with an odd number of negated literals instead of an even number.