DISJUNE

Definition of DISJUNE