0:00
Difficulty: ExpertCategory: Logical EquivalenceType: Equivalence CheckA Horn clause is a clause (disjunction of literals) with at most one positive literal.
Expression: (!A | !B | C)
Is this a Horn clause?
A Horn clause is a clause (disjunction of literals) with at most one positive literal.
Expression: (!A | !B | C)
Is this a Horn clause?