Forme normale
# Forme normale

Sur les autres projets Wikimedia :

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
