PDF-Datei (ca. 1 MByte)

36 KAPITEL 5. AUSSAGENLOGIK
P
T
T
T
T
F
F
F
F
P
T
T
T
T
F
F
F
F
Q
T
T
F
F
T
T
F
F
Q
T
T
F
F
T
T
F
F
R
T
F
T
F
T
F
T
F
R
T
F
T
F
T
F
T
F
Q||R
T
T
T
F
T
T
T
F
Q&&R
T
F
F
F
T
F
F
F
P&&(Q||R) P&&Q P&&R (P&&Q)||(P&&R)
T
T
T
F
F
F
F
F
T
T
T
T
T
F
F
F
T
T
F
F
F
F
F
F
T
F
T
F
F
F
F
F
P||(Q&&R) P||Q P||R (P||Q)&&(P||R)
Abbildung 5.6: Distributivgesetze fur boolesche Ausdrucke
P
T
F
!P
F
T
T
T
T
T
T
T
F
F
P&&(!P)
F
F
T
T
T
T
T
F
T
F
P||(!P)
T
T
Abbildung 5.7: Tautologie und Widerspruch
T
T
T
F
F
F
F
F
T
T
T
T
T
F
F
F