Symbolic translation of negations, conjunctions, and disjunctions: Basic