👉 A disjunctive normal form (DNF) is a structured format used in formal logic and computer programming to represent boolean expressions. It is the standard way of expressing AND, OR, and NOT operations in a Boolean expression. In DNF, an AND operation can be represented by two disjunctions (also known as "andants"), while an OR operation can be represented by one disjunctive normal form (DNF). The NOT operation can also be represented by a single dis