DISJUNCTORS

Definition of DISJUNCTORS