Disjunctive normal form
Standard form of a boolean function / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about Sum-of-products expression?
Summarize this article for a 10 year old
SHOW ALL QUESTIONS
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, a sum of products, or — in philosophical logic — a cluster concept.[1] As a normal form, it is useful in automated theorem proving.