Logik
- Erfüllbarkeit (Aussagenlogik)
- Junktor
- Strukturelle Induktion
- Prädikatenlogische Formel
- Logik
- Literal
- Konjunktionterm
- Konjunktive Normalform
- Konjunktion
- Aussagenlogischen Formel
- Erfüllbarkeitsproblem für quantifizierte boolesche Formeln
- Boolescher Wert
- aussagenlogische Variable
- Aussagenlogik
- Disjunktionsterm
- Satz 3SAT is poly reduzierbar auf CLIQUE
- Erfüllbarkeitsproblem der Aussagenlogik