Úplná Disjunktívna Normálna Forma (UDNF) booleovskej funkcie je taká disjunktívna normálna forma, kde každý bod, v ktorom funkcia nadobúda hodnotu 1 je pokrytý práve jedným úplným elementárnym súčinom.