Forme normale

Dans un système formel de description de formules (termes, propositions, grammaires, etc.) les formes normales sont des formules qui satisfont certaines « bonnes » propriétés qui en font d'une certaine façon des formules plus adéquates que d'autres.

• Forme normale (bases de données relationnelles)
• Forme normale du lambda-calcul
• En calcul des propositions : formes normales conjonctives et formes normales disjonctives
• En théorie des langages formels : forme normale de Chomsky, forme normale de Greibach, forme normale de Kuroda

Sur les autres projets Wikimedia :

• forme normale, sur le Wiktionnaire