Boolean Propositional Connectives