| 31. | See the main article on Beta normal form for details.
|
| 32. | Hermite normal form may also be used for solving systems of linear Diophantine equations.
|
| 33. | Beta reduction of this lambda term never reaches normal form.
|
| 34. | When in this form the formula is said to be in disjunctive normal form.
|
| 35. | During the carnival the normal form of government is parodied.
|
| 36. | In the normal form above, X evolves independently of Y.
|
| 37. | This example shows how to calculate the Jordan normal form of a given matrix.
|
| 38. | Head normal forms are the terms of the following shape:
|
| 39. | Functional programs have an expression that is successively substituted until it reaches normal form.
|
| 40. | Another important normal form identified by Darwiche is Decomposable Negation Normal Form or DNNF.
|
