Fix the numbering of (Bool <~> Bool) <~> Bool

Reported By: Edward Z. Yang <ezyang@mit.edu>
Merge pull request #344 from JasonGross/fix-bool-equiv-bool-book

Fix the numbering of (Bool <~> Bool) <~> Bool