 “On the Algebra of Logic” is remarkable for other reasons as well. It begins with an important passage (§2) on the propositional calculus, containing the first explicit use of two truth values. Peirce then describes a decision procedure for the calculus: 