Conjunction of all predicates in PS
.
Conjunction of the predicates A
and B
.
Disjunction of all predicates in PS
.
Constant predicate that is always false
.
Negated conjunction of the predicates A
and B
.
Negated disjunction of the predicates A
and B
.
Negation of the predicate P
.
Exclusive disjunction of all predicates in PS
.
Disjunction of the predicates A
and B
.
Constant predicate that is always true
.
Exclusive disjunction of the predicates A
and B
.
Module for logical predicates.