Propositional Logic Symbols and Translation