Source: wikibot/horn-satisfiability
= Horn-satisfiability
{wiki=Horn-satisfiability}
Horn-satisfiability is a special case of propositional satisfiability in the field of computational logic and artificial intelligence. It deals specifically with Horn clauses, which are a particular type of logical expressions. \#\#\# Key Concepts: 1. **Horn Clauses**: A Horn clause is a disjunction (logical OR) of literals (variables or their negations) with at most one positive literal.