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