Wir nennen ein Literal L gehört AL gut, wenn L keine Negation enthält und L heißt schlecht, falls L nicht gut ist. Eine Klausel C aus einer Klauseln´menge heißt gut, falls C ausschließlich hute Literale enthält und C heißt schlecht, falls C nur schlechte Literale enthält.