Horn clause
Horn clause In logic, and in particular in propositional calculus, a Horn clause or a definite clause is a proposition of the general ...
http://en.wikipedia.org/wiki/Horn_clause - 3k - Cached - Similar pages

Talk:Horn clause
Talk:Horn clause Not conjunctive, it should be disjunctive normal ...
http://en.wikipedia.org/wiki/Talk:Horn_clause - 0k - Cached - Similar pages

Clause of Horn   (translated from French)
Clause of Horn In logic, and in particular in propositional calculation, one clause of Horn is a proposal of the type: (p ... logic, it is possible to rewrite a clause in the form: (NOT p) OR ( ...
http://fr.wikipedia.org/wiki/Clause_de_Horn - 3k - Cached (French) - Wikipedia (French) - Similar pages

Horn
Horn Horn may refer to: Horn (anatomy), a hollow, pointed projection of the skin of various animals Horn can also refer to things that are ... or are shaped like, the anatomical object: Horn (instrument), sometimes called a "French horn," ...
http://en.wikipedia.org/wiki/Horn - 5k - Cached - Similar pages

Horn-satisfiability
Horn-satisfiability In formal logic, Horn-satisfiability, or HORNSAT, is the problem of ... deciding whether a given set of propositional Horn clauses is satisfiable. A Horn clause is a clause with at most ...
http://en.wikipedia.org/wiki/Horn-satisfiability - 3k - Cached - Similar pages

Horn formula   (translated from German)
Horn formula Horn formulas a special subset is that Boolean ... were designated after that Austrian Logician Alfred horn. Table of contents Definition Horn formulas are one Conjunction several Horn clauses. During the term Clause generally ...
http://de.wikipedia.org/wiki/Horn-Formel - 4k - Cached (German) - Wikipedia (German) - Similar pages

Clause standard format   (translated from German)
Clause standard format Those Clause form or Clause standard format a formula describes in in ... quantity way of writing. A formula in Clause form (rarely also Klaus form) is a ... interpret the logical value truely results in. Clause standard formats are over one Transformation ...
http://de.wikipedia.org/wiki/Klausel-Normalform - 4k - Cached (German) - Wikipedia (German) - Similar pages

Gentzen main clause   (translated from German)
Gentzen main clause That Gentzen main clause (also: Cut set, CUT cut-elimination theorem ... use. Table of contents Emergence The main clause is in more metalogischer Sentence and became ... logic . The original form of the main clause reads in such a way: Each LJ ... in advance as derivable to be regarded (Horn clauses, Sequences ). For those Derivableness becomes ...
http://de.wikipedia.org/wiki/Gentzenscher_Hauptsatz - 16k - Cached (German) - Wikipedia (German) - Similar pages

User talk:BrightYi   (translated from Chinese)
... talk:BrightYi In logic , specially proposition logic ,Horn clauseOrIs clear about the clauseHas the following ... Must P) Or U . The above general Horn clause expression equal in value form also may ... This kind of form had demonstrated the Horn clause isConjunctive normal formCenter analyzes the modus ...
http://zh.wikipedia.org/wiki/Horn子句 - 3k - Cached (Chinese) - Wikipedia (Chinese) - Similar pages

Unit propagation
... a set of clauses contains the unit clause $l$, the other clauses are ... application of the two following rules: every clause containing $l$ is removed; in every clause that contains $\backslash neg\; l$ this ... unit propagation because it contains the unit clause $a$. $\backslash \{a\; \backslash vee\; b\; ...\; negation\; of\; the\; literal\; in\; the\; unit$clause, this literal can be removed from ...
http://en.wikipedia.org/wiki/Unit_propagation - 9k - Cached - Similar pages