Propositional Logic And Or Symbols