 Normal form

Normal form may refer to:
 Normal form (abstract rewriting)
 Normal form (databases)
 Normal form (game theory)
 Normal form (mathematics)
In formal language theory:
 Beta normal form
 Chomsky normal form
 Greibach normal form
 Kuroda normal form
 Normal form (abstract rewriting), an element of a rewrite system which cannot be further rewritten
In logic:
 Algebraic normal form
 Clausal normal form
 Conjunctive normal form
 Negation normal form
 Prenex normal form
 Skolem normal form
In lambda calculus:
See also
 Normalization (disambiguation)
 Normalization property
 Musical set theory
This disambiguation page lists mathematics articles associated with the same title.
If an internal link led you here, you may wish to change the link to point directly to the intended article.Categories: Mathematical disambiguation
 Mathematical terminology
Wikimedia Foundation. 2010.
Look at other dictionaries:
normal form — A well formed formula of the propositional calculus is in conjunctive normal form when it is of the form A & B &…where each of A, B…is a formula consisting of a disjunction of atomic propositions or negations of atomic propositions (e.g. p ∨q ∨ ¬ … Philosophy dictionary
normal form — norminė forma statusas T sritis automatika atitikmenys: angl. normal form vok. Normalform, f rus. нормальная форма, f pranc. forme normale, f … Automatikos terminų žodynas
normal form — noun logic : a canonical or standard fundamental form of a statement to which others can be reduced; especially : a compound statement in the propositional calculus consisting of nothing but a conjunction of disjunctions whose disjuncts are… … Useful english dictionary
normal form — noun a) Any of various forms of a relational database providing criteria for determining a tables degree of vulnerability to logical inconsistencies and anomalies. b) A matrix that represents the possible outcomes of a game … Wiktionary
normal form — ● ►en loc. f. ► Voir forme normale … Dictionnaire d'informatique francophone
Normalform game — In game theory, normal form is a way of describing a game. Unlike extensive form, normal form representations are not graphical per se, but rather represent the game by way of a matrix. While this approach can be of greater use in identifying… … Wikipedia
Normal form (abstract rewriting) — In abstract rewriting, a normal form is an element of the system which cannot be rewritten any further. Stated formally, for some reduction relation ⋅ → ⋅ over X a term t in X is a normal form if there does not exist a term t′ in X such … Wikipedia
Normal form (term rewriting) — In considering rewriting systems, a normal form is an element of the system which cannot be rewritten any further. Consider the basic term rewriting system with reduction rule ρ : g ( x , y ) → x . The term g ( g (4, 2), g (3, 1)) has the… … Wikipedia
Normal form (natural deduction) — An inference of natural deduction is a normal form, according to Dag Prawitz, if no formula occurrence is both the principal premise of an elimination rule and the conclusion of an introduction rule. This logic related article is a stub. You can… … Wikipedia
normal form game — noun Formally, a structure where P = 1,2, ...,m is a set of players, is an m tuple of pure strategy sets, one for each player, and is an m tuple of payoff functions. <! If someone can turn the math to inline math, please do it. See Also:… … Wiktionary