clause
Sign in to savein logic, disjunction of literals
Connections
logic
Entity
International Standard Book Number
Entity
Prolog
Entity
logical disjunction
Entity
logical conjunction
Entity
monoid
Entity
logical operator
Entity
logic programming
Entity
logical consequence
Entity
disjunctive normal form
Entity
conjunctive normal form
Entity
Horn clause
Entity
interpretation
Entity
Clause
Entity
literal
Entity
propositional formula
Entity
vacuous truth
Entity