Aussagenlogik G. Laner 03/04

Präsentation zum Thema: "Aussagenlogik G. Laner 03/04"—  Präsentation transkript:

1 Aussagenlogik G. Laner 03/04
Grundlagen der EDV Aussagenlogik G. Laner 03/04

2 Aussage Aussagenlogik Was versteht man unter einer Aussage?
Einen Satz, dem eindeutig das Resultat "wahr" oder "falsch" zugeordnet werden kann. Mögliche Schreibweisen: wahr w, 1, true falsch f, 0, false G. Laner 2003/04

3 Wahrheitstabellen Aussagenlogik
Bieten eine Übersicht über alle möglichen Kombinationen von mehreren zusammengesetzten Aussagen. Aussagen werden über aussagenlogische Operatoren verknüpft, den JUNKTOREN. Unterschieden wird nach ein-, zwei- und mehrstelligen Junktoren. G. Laner 2003/04

4 Negation Aussagenlogik (Verneinung) Operator: Ø
Wahrheitstabelle: a Ø a w f f w G. Laner 2003/04

5 Konjunktion Aussagenlogik (UND-Verknüpfung) Operator: Ù
Wahrheitstabelle: a b a Ù b w w w w f f f w f f f w Umgangssprachlich: sowohl, als auch G. Laner 2003/04

6 Disjunktion Aussagenlogik (ODER-Verknüpfung) Operator: Ú
Wahrheitstabelle: a b a Ú b w w w w f w f w w f f f Umgangssprachlich: oder (einschließend) G. Laner 2003/04

7 Antivalenz / Alternative
Aussagenlogik Antivalenz / Alternative (ENTWEDER ODER-Verknüpfung) Operator: `Ú Wahrheitstabelle: a b a`Ú b w w f w f w f w w f f f Umgangssprachlich: entweder oder (ausschließend) G. Laner 2003/04

8 Implikation / Subjunktion
Aussagenlogik Implikation / Subjunktion (IMPLIZIERT-Verknüpfung) Operator: ® a heißt Prämisse, b Konklusion Wahrheitstabelle: a b a ® b w w w w f f f w w f f w Umgangssprachlich: wenn - dann / aus - folgt G. Laner 2003/04

9 Äquivalenz Aussagenlogik Operator: « Wahrheitstabelle: a b a « b w w w
w f f f w f f f w Umgangssprachlich: genau dann, wenn G. Laner 2003/04

10 Beispiel 1: Aussagenlogik Wahrheitstabelle: p q r (p ® ( q Ú r )) w f
G. Laner 2003/04

11 Beispiel 1: Aussagenlogik Wahrheitstabelle: p q r (p ® ( q Ú r )) w f
G. Laner 2003/04

12 p q r s (Ø (( p « (q Ù r)) ® ( s Ú (Ø q ))))
Aussagenlogik p q r s (Ø (( p « (q Ù r)) ® ( s Ú (Ø q )))) w w www w w w f f f f f f f f w w ww f f f f w w w wf f f f w w f f w w f f w wf f w wf f w f wfw f w f wf w f wf w f f wf f f f f f fwf f f f f f w w f f f f f f f f w ww ww w w w f f f f f f wwf f f f f f w f w w w w w w wfw w w w w w w f w f w w w w wfw f w w w w f f f f wwww f f f f w ww w G. Laner 2003/04

13 Tautologie - Kontradiktion
Aussagenlogische Formel, die für alle Kombinationen der Aussagenvariablen den Wert "wahr" hat. Kontradiktion Aussagenlogische Formel, die für alle Kombinationen der Aussagenvariablen den Wert "falsch" hat. Indeterminiert Mindestens eine Kombination ergibt "wahr" und mindestens eine ergibt "falsch". G. Laner 2003/04

14 KKNF - Kanonische konjunktive Normalform
Normalformen KKNF - Kanonische konjunktive Normalform Konjunktive Verknüpfung von Basisdisjunktionen. Bsp.: (p Ú q Ú Ø r) Ù (p Ú Ø q Ú r) KDNF - Kanonische disjunktive Normalform Disjunktive Verknüpfung von Basiskonjunktionen. Bsp.: (p Ù q Ù Ø r) Ú (p Ù Ø q Ù r) G. Laner 2003/04

15 Gesucht: äquivalente KDNF
Normalformen p w f q w f r w f Ø (Ø p ® q) Ú r w f Gesucht: äquivalente KDNF Alle Kombinationen, die Resultat "w" haben, werden gesucht und verarbeitet. (p Ù q Ù r) Ú (p Ù Ø q Ù r) Ú (Ø p Ù q Ù r) Ú (Ø p Ù Ø q Ù r) Ú Ú (Ø p Ù Ø q Ù Ø r) G. Laner 2003/04

16 Gesucht: äquivalente KKNF
Normalformen p w f q w f r w f Ø (Ø p ® q) Ú r w f Gesucht: äquivalente KKNF Alle Kombinationen, die Resultat "f" haben, werden gesucht und verarbeitet. (Ø p Ú Ø q Ú r) Ù (Ø p Ú q Ú r) Ù (p Ú Ø q Ú r) G. Laner 2003/04

17 NAND / NOR Junktoren (Sheffer / Peirce Operatoren)
NAND (Sheffer-Operator) entspricht NOT AND NOR (Peirce-Operator) entspricht NOT OR p w f q w f p ­ q f w p w f q w f p ¯ q f w G. Laner 2003/04

18 Äquivalenz-Umformungen
Um eine Normalform zu erreichen, dürfen als Junktoren nur Ú, Ù und Ø vorkommen. Daher sind die Junktoren « und ® durch geeignete Konstrukte zu ersetzen (siehe nächste Folie). Zusätzlich sind Umformungen nach den DE MORGAN - Gesetzen notwendig: Ø ( a Ù b ) entspricht (Ø a Ú Ø b ) Ø ( a Ú b ) entspricht (Ø a Ù Ø b ) Weitere Umformungen: a Ú ( b Ù c ) entspricht ( a Ú b ) Ù ( a Ú c ) a Ù ( b Ú c ) entspricht ( a Ù b ) Ú ( a Ù c ) G. Laner 2003/04

19 Äquivalenz-Umformungen
p w f q w f p ® q w f Ø p f w Ø p Ú q w f p w f q w f p « q w f (p ® q) Ù (q ® p) f w (Ø p Ú q) Ù (Ø q Ú p) f w G. Laner 2003/04