  Boole only considered rather simple hypothetical propositions on the grounds these were the only ones encountered in common usage (see LT, p. 172). His algebraic approach to propositional logic is easily extended to all propositional formulas as follows. For \(\Phi\) a propositional formula the associated elective function \(\Phi^*\) is defined recursively as follows: 