2. Aussagenlogik

Syntax
Respräsentantentheorem
Erfüllbarkeit einer Formel
Allgmemeingültigkeit
Kontradiktion
Beweis Repräsentantetheorem
Bestandteile Logik
Ausdruck / Formel
Semantik
Literal
$\lor - Klausel$
$\land -Klausel$
Konjunktive Normalform
Disjunkte Normalform

Kommentare

Nur angemeldete Nutzer dürfen kommentieren. Hier geht's zur kostenlosen Registrierung.