Logical conjunction.
Free proposition.
Abstract base type for all Prop expressions.
Logical equivalence.
Logical implication.
Logical conditional selection.
Logical negation.
Logical disjunction.
Logical exlusive disjunction.
Creates a fresh uniquely identified atom.
Propositional logic.