From The Free On-line Dictionary of Computing (19 January 2023): DNF disjunctive normal form
DNF
disjunctive normal form