V matematice je normální forma nejjednodušší nebo kanonická forma, na kterou je objekt redukován ekvivalentními transformacemi [1] .
Vzorec v booleovské logice může být zapsán v disjunktivní a konjunktivní normální formě.
Neredukovatelný zlomek s přirozeným jmenovatelem a čitatelem celého čísla je normální tvar racionálního čísla . Pro racionální funkci je normální forma neredukovatelný zlomek s normalizovaným polynomem (tj. s 1 na nejvyšším stupni) ve jmenovateli.
V lineární algebře lze lineární transformační matici konečněrozměrného prostoru výběrem základny redukovat na Jordanovu normální formu . V této podobě je matice blokově diagonální a každý blok je součtem skalární matice a matice s jedničkami na první superdiagonále. Konkrétně to rozdělí matici na součet komutačních diagonálních a nilpotentních, což usnadňuje výpočet funkcí (zejména polynomů a exponenciálů) z této matice.
Poměrně často se problém normalizace řeší algoritmicky a normální forma ve třídě ekvivalence je jedinečná; v tomto případě se otázka ekvivalence objektů ukazuje jako algoritmicky řešitelná porovnáním normálních forem.
Formální změna souřadnic, tzn. změna souřadnic daná formálními mocninnými řadami nám umožňuje přivést vektorové pole v okolí jeho singulárního bodu do Poincarého-Dulacova formálního normálního tvaru .