Normaalvorm
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 propositielogica kunnen alle proposities worden omgeschreven naar:
 conjunctieve normaalvorm
 disjunctieve normaalvorm
 prenex-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.

Formele wetenschap