La forma normal puede referirse a:
- Forma normal (bases de datos)
- Forma normal (teoría de juegos)
- Forma normal (matemáticas) (a menudo llamada forma canónica o forma estándar)
- Forma normal (sistemas dinámicos)
- Hesse forma normal
- Forma normal en la música
- Jordan forma normal
En teoría del lenguaje formal :
- Forma normal de Chomsky
- Greibach forma normal
- Forma normal de Kuroda
- Forma normal (reescritura abstracta) , un elemento de un sistema de reescritura que no se puede reescribir más.
En lógica :
- Forma normal algebraica
- Forma normal canónica
- Forma normal clausal
- Forma conjuntiva normal
- Forma normal disyuntiva
- Forma normal de negación
- Prenex forma normal
- Forma normal de Skolem
En cálculo lambda :