Minimization of disjunctive normal forms of fuzzy logic functions