Horn clause
Sign in to saveAlso known as Horn formula
clause (a disjunction of literals) with at most one positive, i.e. unnegated, literal
Wikidata facts
- Subclass of
- clause
- Named after
- Alfred Horn
Show 2 more facts
- studied by
- Boolean algebra
- maintained by WikiProject
- WikiProject Mathematics
Sources (2)
via Wikidata · CC0