DISJUNES

Definition of DISJUNES