disjunction1.C 2.41 KB