| | |
Summary: 3 Grundlagen der Darstellung und Verarbeitung von Information 3.3 Aussagenlogik 3-78(103)
Beispiele 3.59:
3 Grundlagen der Darstellung und Verarbeitung von Information 3.3 Aussagenlogik 3-79(104)
Definition 3.60: Die in Beispiel 3.59, 2. betrachtete Formel heißt exklusives oder (Antivalenz, XOR):
A B AXOR B
F F F
F T T
T F T
T T F
3 Grundlagen der Darstellung und Verarbeitung von Information 3.3 Aussagenlogik 3-80(105)
3.3.6 Disjunktive und konjunktive Normalform
Definition 3.61: Ein Literal ist eine atomare Formel oder die Negation einer atomaren Formel (positives
bzw. negatives Literal).
Eine Formel F ist in konjunktiver Normalform (KNF), wenn sie eine Konjunktion von Disjunktionen von
Literalen ist:
F =
n
i=1
mi
j=1
|
