DISJUNCTIONS

Definition of DISJUNCTIONS