title: Forme normale
text: # 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
  