Wann ist eine prädikatenlogische Formel in Negationsnormalform ?

Worauf beruht ein Verfahren, um eine prädikatenlogische Formel in Negationsnormalform zu bringen?

Wann ist eine Formel in pränexer Normalform?

Wie werden die Quantoren bezeichnet, welche in pränexer Normalform am zusammen am Anfang der Formel stehen?

Was ist der "Kern" einer Formel in pränexer Normelform?

Aus welchen zwei Teilen besteht eine prädikatenlogische Formel in pränexer Normalform?

Was ist der erste Schritt, um eine Formel in Negationsnormalform in pränexe Normalform zu überführen?

Was ist der zweite Schritt, um eine Formel in Negationsnormalform in pränexe Normalform zu überführen?

Wann liegt der Kern einer
prädikatenlogischen Formel in konjunktive Normalform vor?

Was ist ein Literal in der Prädikatenlogik?

Was ist eine Klausel in der Prädikatenlogik?

Was ist eine konjunktive Normalform in der Prädikatenlogik?