# Normal form

﻿
Normal form

Normal form may refer to:

In formal language theory:

In logic:

In lambda calculus:

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

• Normal-form 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