Module operators

Source
Expand description

Unary and binary operators for propositional formulas.

Enumsยง

BinaryOperator
There are four basic binary operators:
Operator
There are two types of operators in propositional formulas:
UnaryOperator
There is only one basic unary operator, the negation (logical NOT) operator.