formula

Interfaces  Formula

Classes  Conjunction Disjunction Environment LogicalConstant LogicalVariable Named Negation