Forme normale

Un article de Wikipédia, l'encyclopédie libre.

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.