DISJUNCTOR

Definition of DISJUNCTOR