Definitions from Wiktionary (Horn clause)
▸ noun: (logic) A clause (disjunction of literals) with at most one positive literal.
▸ Words similar to Horn clause
▸ Usage examples for Horn clause
▸ Idioms related to Horn clause
▸ Wikipedia articles (New!)
▸ Words that often appear near Horn clause
▸ Rhymes of Horn clause
▸ Invented words related to Horn clause
▸ noun: (logic) A clause (disjunction of literals) with at most one positive literal.
Similar:
definite clause,
quasiidentity,
Zorn's lemma,
inclusive disjunction,
clausal normal form,
conjunctive normal form,
sentence,
positive logic,
propositional constant,
exclusive disjunction,
more...
▸ Words similar to Horn clause
▸ Usage examples for Horn clause
▸ Idioms related to Horn clause
▸ Wikipedia articles (New!)
▸ Words that often appear near Horn clause
▸ Rhymes of Horn clause
▸ Invented words related to Horn clause