meaning of disjoint union
1. disjoint union In domain theory, a union or sum which results in a domain without a least element. Disjunctive Normal Form DNF A logical formula consisting of a disjunction of conjunctions where no conjunction contains a disjunction. E. g. the DNF of A or B and C is A and C or B and C.