Diskrete Mathematik

1.Aussagenlogik

1.1 Gleichwertiges Kalkül

1.2 Normalform

Einfache Disjunktion besteht aus Disjunktion endlicher Aussagensvariable order deren Negation

Einfache Konjunktion besteht aus Konjunktion endlicher Aussagensvariable oder deren Negation

Disjunktive Normalform besteht aus Disjunktion endlicher einfache Konjunktion

Konjunktive Normalform besteht aus Konjunktion endlicher einfache Disjunktion

Als Minimale Aritikel bezeichnen wir einfache Konjunktion

Diskrete Mathematik

原文：https://www.cnblogs.com/Java-Starter/p/9759617.html