| | | A.2.3 Propositional Formulas |
TRUE
FALSE
NOT E
E1 AND E2
E1 OR E2
E1 => E2
E1 <=> E2
E1 XOR E2
These expression represent the logical constants "true" and "false" and the logical operations negation, conjunction, disjunction, implication, equivalence, and non-equivalence. They are composed from values E, E1, and E2 of type BOOLEAN and yield a value of type BOOLEAN.
| | | A.2.3 Propositional Formulas |