Grundlagen der EDV

Aussagenlogik
G. Laner 03/04

Aussagenlogik

Aussage
Was versteht man unter einer Aussage? Einen Satz, dem eindeutig das Resultat "wahr" oder "falsch" zugeordnet werden kann. Mgliche Schreibweisen: wahr w, 1, true falsch f, 0, false

G. Laner 2003/04

Aussagenlogik

Wahrheitstabellen
Bieten eine bersicht ber alle mglichen Kombinationen von mehreren zusammengesetzten Aussagen. Aussagen werden ber aussagenlogische Operatoren verknpft, den JUNKTOREN. Unterschieden wird nach ein-, zwei- und mehrstelligen Junktoren.

G. Laner 2003/04

Aussagenlogik

Negation
(Verneinung) Operator: Wahrheitstabelle: a w f a f w

G. Laner 2003/04

Aussagenlogik

Konjunktion
(UND-Verknpfung) Operator: Wahrheitstabelle: a w w f f Umgangssprachlich: sowohl, als auch
G. Laner 2003/04

b w f w f

a b w f f w

Aussagenlogik

Disjunktion
(ODER-Verknpfung) Operator: Wahrheitstabelle: a w w f f b w f w f a b w w w f

Umgangssprachlich: oder (einschlieend)

G. Laner 2003/04

Aussagenlogik

Antivalenz / Alternative
(ENTWEDER ODER-Verknpfung) Operator: D Wahrheitstabelle: a w w f f b w f w f aD b f w w f

Umgangssprachlich: entweder oder (ausschlieend)

G. Laner 2003/04

Aussagenlogik

Implikation / Subjunktion
(IMPLIZIERT-Verknpfung) Operator: p Wahrheitstabelle: a heit Prmisse, b Konklusion a w w f f b w f w f a pb w f w w

Umgangssprachlich: wenn - dann / aus - folgt

G. Laner 2003/04

Aussagenlogik

quivalenz

Operator: m Wahrheitstabelle: a w w f f Umgangssprachlich: genau dann, wenn

G. Laner 2003/04

b w f w f

a mb w f f w

Aussagenlogik

Beispiel 1:
Wahrheitstabelle: p w w w w f f f f q w w f f w w f f r w f w f w f w f (p pq r w w w f w w w f

G. Laner 2003/04

Aussagenlogik

Beispiel 1:
Wahrheitstabelle: p w w w w f f f f q w w f f w w f f r w f w f w f w f (p pq r w w w f w w w w w w w f w w w f

G. Laner 2003/04

Aussagenlogik

p
w w w w w w w w f f f f f f f f

q
w w w w f f f f w w w w f f f f

r
w w f f w w f f w w f f w w f f

s
w f w f w f w f w f w f w f w f

((( p m(q r)) p( s (q ))))

f w f f f f f f f w f f f f f f w w f f f f f f f f w w w w w w w w f f f f f f w w f f f f f f w f w w w w w w w f w w w w w w w f w f w w w w w f w f w w w w f f f f w w w w f f f f w w w w

G. Laner 2003/04

Tautologie - Kontradiktion

Tautologie
Aussagenlogische Formel, die fr alle Kombinationen der Aussagenvariablen den Wert "wahr" hat.

Kontradiktion
Aussagenlogische Formel, die fr alle Kombinationen der Aussagenvariablen den Wert "falsch" hat.

Indeterminiert
Mindestens eine Kombination ergibt "wahr" und mindestens eine ergibt "falsch".

G. Laner 2003/04

Normalformen

KKNF - Kanonische konjunktive Normalform

Konjunktive Verknpfung von Basisdisjunktionen. Bsp.: (p q r)  (p q r)

KDNF - Kanonische disjunktive Normalform

Disjunktive Verknpfung von Basiskonjunktionen. Bsp.: (p q r) (p q r)

G. Laner 2003/04

Normalformen

p w w w w f f f f

q w w f f w w f f

r w f w f w f w f

( p pq) r

Gesucht: quivalente KDNF Alle Kombinationen, die Resultat "w" haben, werden gesucht und verarbeitet.

w f w f w f w w

(p q r) (p q r) ( p q r) ( p q r) ( p q r)

G. Laner 2003/04

Normalformen

p w w w w f f f f

q w w f f w w f f

r w f w f w f w f

( p pq) r

Gesucht: quivalente KKNF Alle Kombinationen, die Resultat "f" haben, werden gesucht und verarbeitet.

w f w f w f w w

( p q r) ( p q r) (p q r)

G. Laner 2003/04

NAND / NOR Junktoren (Sheffer / Peirce Operatoren)

NAND (Sheffer-Operator)
entspricht NOT AND

NOR (Peirce-Operator)
entspricht NOT OR

p w w f f

q w f w f

p oq

p w w f f

q w f w f

p qq

f w w w

f f f w

G. Laner 2003/04

quivalenz-Umformungen

Um eine Normalform zu erreichen, drfen als Junktoren nur , und vorkommen. Daher sind die Junktoren mund pdurch geeignete Konstrukte zu ersetzen (siehe nchste Folie). Zustzlich sind Umformungen nach den DE MORGAN - Gesetzen notwendig: a b entspricht a b entspricht a b c entspricht a b c entspricht a b a b a b a c a b a c

Weitere Umformungen:

G. Laner 2003/04

quivalenz-Umformungen

p w w f f

q w f w f

p pq

p q

w f w w

f f w w

w f w w

p w w f f

q w f w f

p mq

(p pq) (q pp)

( p q) ( q p)

w f f w

f f w w

f f w w

G. Laner 2003/04