Diskrete Mathematik

标签：分享图片   img   http   orm   variable   1.2   als   nlog   ret   

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

标签：分享图片   img   http   orm   variable   1.2   als   nlog   ret   

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