Besonderhede van voorbeeld: 1551392732045487460

English

DPLL takes as input a sentence in conjunctive normal form—a set of clauses.

Spanish

DPLL toma como entrada una sentencia en forma normal conjuntiva (un conjunto de cláusulas).