defined additional logical operators for evaluating propositional statements.