Wozu dienen die Normalformen in der Logik?

Nenne die drei Normalformen in der Logik

Was haben alle 3 Normalformen gemeinsam? Bzw. welche Junktoren dürfen in allen drei Normalformen nicht vorkommen?

Was wird verlangt, damit eine Formel in Negationsnormalform vorliegt?

Durch welche Äquivalenzregeln kann eine Formel in eine Negationsnormalform (NNF) gebracht werden?

Wie kann die Formel:
\( \alpha_1 \wedge \alpha_2 \wedge ... \wedge \alpha_n \) formal verkürzt dargestellt werden?

Wie kann die Formel:
\( \alpha_1 \vee \alpha_2 \vee ...\vee \alpha_n \) verkürzt dargestellt werden?

Wie wird der Ausdruck:
\( \bigwedge\limits_{i=1}^{n} \alpha_i \) ausgesprochen?

Wann nennt man eine Formel "Klausel"?

Was ist eine positive Klausel?

Was ist eine negative Klausel?

Wann liegt eine Formel in konjunktiver Normalform vor?

Wie kann eine Formel ohne Implikationen und Äquivalenzen in
konjunktive Normalform (KNF) gebracht werden?

Was ist ein Monom?

Was ist eine k-Klausel bzw. ein k-Monom?

Wann ist eine Formel in disjunktiver Normalform (DNF)?