Informatique et logique. 1 Problème de drapeau national néerlandais, un problème de programmation lié à l'informatique proposé par Edsger Dijkstra. 2 DNF (logiciel), un gestionnaire de packages pour les distributions Linux basées sur RPM. 3 Forme normale disjonctive, une normalisation d'une formule logique en logique booléenne.