EntityQ933932· pop 21· linked from 79 articlesHorn clauseSign in to saveclause (a disjunction of literals) with at most one positive, i.e. unnegated, literalConnectionsresolutionEntityalgebraic normal formEntityInternational Standard Book NumberEntitydigital object identifierEntityInternational Standard Serial NumberEntitymathematical logicEntityPrologEntityJSTOROrganizationpropositional calculusEntitylogical negationEntitylogical disjunctionEntityrelational databaseEntitymaterial implicationEntityreductio ad absurdumEntitycomputational complexity theoryEntitymodel theoryEntityQ22908627Entitylogic programmingEntityfirst-order logicEntityuniversal algebraEntityCategoriesLogic in computer scienceNormal forms (logic)