Text this: A tabular propositional logic: and/or Table Translator