Aussagenvariablen/Positiv oder negativ/Erfüllbar/Aufgabe
Erscheinungsbild
Es sei eine Teilmenge, die ausschließlich aus Aussagenvariablen oder aus negierten Aussagenvariablen besteht, wobei jede Aussagenvariable höchstens direkt oder in ihrer Negation auftritt. Zeige, dass erfüllbar ist.