Een normaalvorm voor uitdrukkingen in een wiskundig formalisme is een bepaalde vorm van zulke uitdrukkingen, zodanig dat er een conversieprocedure bekend is die willekeurige uitdrukkingen in het formalisme omzet in equivalente uitdrukkingen van de desbetreffende vorm. Een dergelijke procedure wordt normalisatie genoemd.
Voorbeelden van normaalvorm komen in verschillende takken van wetenschap voor:
Logica In de logica bestaan onder andere de volgende normaalvormen: conjunctieve normaalvorm disjunctieve normaalvorm prenex-normaalvorm negatie-normaalvorm
Formeletalentheorie In de theorie van formele talen, toegepast in de taalkunde en in de informatica, komen voor: Chomsky-normaalvorm Greibach-normaalvorm
Wiskunde In de lineaire algebra komt voor: Jordan-normaalvorm
Informatica Om databases te vereenvoudigen bestaan er diverse normaalvormen.
Categorie:Formele wetenschap