Zum Inhalt springen

Aussagenvariablen/Positiv oder negativ/Erfüllbar/Aufgabe

Aus Wikiversity

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.