Iredundantná disjunktívna normálna forma (IDNF) booleovskej funkcie f predstavuje logický súčet všetkých prostých implikantov funkcie f tvoriacich úplný systém implikantov funkcie f, pričom nie je možné vynechaním akéhokoľvek prostého implikantu získať úplný systém implikantov tejto funkcie.