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