In boolean logic, a disjunctive normal form (DNF) is a canonical normal form of a logical formula consisting of a disjunction of conjunctions; it can also be described as an OR of ANDs, […]

(“Disjunctive Normal Form” 2023)

Bibliography

References