Mo Logo [Home] [Lexikon] [Aufgaben] [Tests] [Kurse] [Begleitmaterial] [Hinweise] [Mitwirkende] [Publikationen] Englische Flagge
Mathematik-Online-Lexikon:

Beispiel: Umformung eines logischen Ausdrucks

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z Übersicht
Als Beispiel wird der Ausdruck

$\displaystyle L: (A \lor B) \Rightarrow (\lnot A \land B) $

vereinfacht. Ersetzen der Implikation und Anwendung der Morgan'schen Regeln ergibt

$\displaystyle \lnot (A \lor B) \lor (\lnot A \land B ) = (\lnot A \land \lnot B) \lor (\lnot A \land B )\,. $

Nach dem Distributivgesetz ist dieser Ausdruck äquivalent zu

$\displaystyle \lnot A \land (\lnot B \lor B) \,. $

Man erkennt, dass der Wahrheitswert von $ B$ irrelevant ist und

$\displaystyle L = \lnot A\,. $

Alternativ kann man zur Untersuchung des logischen Ausdrucks $ L$ auch eine Wahrheitstabelle verwenden.

$ A$ $ B$ $ \lnot (A \lor B)$ $ \lnot A \land B$ $ L$
w w f f f
w f f f f
f w f w w
f f w f w
Es folgt ebenfalls $ L = \lnot A$.
(Autoren: Höllig/Kreitz)
[Verweise]
  automatisch erstellt am 19.  6. 2007