1. Create a truth table for the expression
2. Find all rows where the expression evaluates to true
3. For each 'true' row, create a conjunction (AND) of literals that makes that row true:
• If a variable is true in the row, use the variable itself
• If a variable is false in the row, use the negation of the variable
4. Join all these conjunctions with OR operations
5. The resulting expression is in DNF