 STEP 1: Propositional terms were expressed by algebraic terms as  in the following; one can substitute more complex terms for \(x\), \(y\). Boole  did not give a recursive definition, only some simple examples: