Professional Documents
Culture Documents
i=1
_
_
m
i
_
j=1
L
ij
_
_
,
wobei L
ij
{A
1
, A
2
, . . .} {A
1
, A
2
, . . .}.
Eine Formel F ist in disjunktiver Normalform (DNF), wenn
sie eine Disjunktion von Konjunktionen von Literalen ist:
F =
n
_
i=1
_
_
m
i
j=1
L
ij
_
_
,
wobei L
ij
{A
1
, A
2
, . . .} {A
1
, A
2
, . . .}.
71 3 Satz: F ur jede Formel F gibt es eine aquivalente Formel F
K
in KNF und eine aquivalente Formel F
D
in DNF.
Beweis: Z.B. in U. Schoning: Logik f ur Informatiker.
79
Herstellen der KNF mit
Aquivalenzumformungen:
1. Ersetze in F jedes Vorkommen einer Teilformel der
Bauart
G H durch (G H) (H G) ,
G H durch G H ,
G durch G ,
(G H) durch (G H) ,
(G H) durch (G H) ,
bis keine derartige Teilformel mehr vorkommt.
2. Ersetze jedes Vorkommen einer Teilformel der Bauart
F (G H) durch (F G) (F H) ,
(F G) H durch (F H) (G H) ,
bis keine derartige Teilformel mehr vorkommt.
Die resultierende Formel ist in KNF. Es kommen evtl. noch
uber ussige (aber in KNF zulassige) Disjunktionen vor, die
Tautologien sind.
80
Ablesen der Normalformen aus der Wahrheitstafel:
Eine Formel F habe die Wahrheitstafel
A B C F
F F F T
F F T F
F T F F
F T T F
T F F T
T F T T
T T F F
T T T F
F (A B C)
(A B C) (A B C)
(A B C) (A B)
(beides sind DNFen).
F
_
(A B C)
(A B C) (A B C)
(A B C) (A B C)
_
(A B C)
(A B C) (A B C)
(A B C) (A B C)
_
(A B C) (A B) (A B)
(A B C) (B)
(die letzten drei Formeln sind in KNF).
81
3.3.7 Verkn upfungsbasen
Sei B = {F, T}.
Durch eine Belegung wird jede Aussagevariable A ebenso wie
die ganze Formel auf ein Element von B abgebildet. Betrachtet
man alle moglichen Belegungen einer Formel mit n Variablen, so
entspricht dies also einer Funktion
F = f : B B
.
n-mal
=: B
n
B .
Gilt auch die Umkehrung, d.h. gibt es zu jeder solchen Funktion
auch eine entsprechende Formel ?
72 3 Satz: F ur jedes n N entspricht jeder Abbildung f :
B
n
B eine Formel der Aussagenlogik.
Beweis: Erstelle die Wahrheitstafel f ur f und daraus z.B. eine
DNF.
Bisher: F unf Junktoren (, , , , ).
Frage: Konnen alle mit mit diesen f unf Junktoren gebildeten For-
meln durch aquivalente Formeln mit anderen Junktormengen
(Verkn upfungsbasen) ersetzt werden ?
82
73 3 Satz: Jede aussagenlogische Formel ist aquivalent zu einer,
die nur und enthalt.
Beweis: Es gen ugt zu zeigen, wie man , und durch und
ersetzt.
1. :
A B (A B) (de Morgansche Regeln)
2. :
A B A B (Wahrheitstafel)
3. :
A B (A B) (A B) (W.-Tafel),
und lasst sich nach Teil 1) durch und ersetzen.
74 3 Satz: Jede aussagenlogische Formel ist aquivalent zu einer,
die nur und enthalt.
Beweis: Wegen Satz 73 gen ugt es zu zeigen, wie man ersetzt:
A B (A B) .
83
75 3 Denition: Die beiden Verkn upfungsbasen {, } und
{, } werden als de Morgan-Basen bezeichnet.
Weitere Verkn upfungsbasen:
Boolesche Basis: {, , }
Frege-Basis: {, }
NAND-Basis: {
}
NOR-Basis: {
}
Dabei: NAND-Verkn upfung: A
B (A B) und
NOR-Verkn upfung: A
B (A B).
A B A
B A
B
F F T T
F T T F
T F T F
T T F F
76 3 Quiz: Stelle A und A B nur mit Hilfe von
dar.
84
3.3.8 Aussagenlogik und Arithmetik
Identiziert man die Binarzier 0 mit F und die Zier 1 mit T,
so kann man arithmetische Operationen durch logische Formeln
beschreiben, z.B.
Addition zweier einstelliger Binarzahlen:
Z
0
+Z
0
= C
1
S
0
ergibt die Tafel
Z
0
Z
0
C
1
S
0
0 =F 0 =F 0 =F 0 =F
0 =F 1 =T 0 =F 1 =T
1 =T 0 =F 0 =F 1 =T
1 =T 1 =T 1 =T 0 =F
Also:
S
0
= Z
0
XOR Z
0
C
1
= Z
0
Z
0
85
Bei der Addition mehrstelliger Zahlen muss (auer bei der
letzten Zier) auch der
Ubertrag (Carry) aus der dahinter
liegenden Stelle ber ucksichtigt werden:
C
k
+Z
k
+Z
k
= C
k+1
S
k
ergibt die Tafel
C
k
Z
k
Z
k
C
k+1
S
k
F F F F F
F F T F T
F T F F T
F T T T F
T F F F T
T F T T F
T T F T F
T T T T T
Also:
S
k
= (C
k
Z
k
Z
k
) (C
k
Z
k
Z
k
)
(C
k
Z
k
Z
k
) (C
k
Z
k
Z
k
)
C
k
(Z
k
XOR Z
k
) C
k
(Z
k
XOR Z
k
)
C
k
XOR (Z
k
XOR Z
k
)
C
k+1
= (C
k
Z
k
Z
k
) (C
k
Z
k
Z
k
)
(C
k
Z
k
Z
k
) (C
k
Z
k
Z
k
)
(C
k
Z
k
) (C
k
Z
k
) (Z
k
Z
k
)
86
3.3.9 Aussagenlogisches Schlieen
77 3 Denition: Eine Formel F = F(A
1
, . . . , A
m
) heit logi-
sche Folgerung (Konklusion) von A = {A
1
, . . . , A
m
}, in
Zeichen
A |= F
(
Groom
b:
b l ugt ja selbst
Wer l ugt, wer sagt die Wahrheit, und was heit
Groom ?
90 91
92