Die einfachste Gestalt durch scharfes Hinsehen ermitteln

Die einfachste Gestalt durch scharfes Hinsehen ermitteln

Scharfes Hinsehen reicht für die Ermittlung der einfachsten Gestalt nicht immer aus, es wird auch Erfahrung dabei benötigt. Und diese Erfahrung wird hier versucht zu vermitteln.

Noch einmal der Reihe nach:

Gegeben war dieser aussagenlogische Term:

$((A\to B)\to (B\to C))\to C$

Dazu wurde die Wahrheitstafel notiert und die Ergebnisspalte berechnet:

$A$	$B$	$C$	$((A\to B)\to (B\to C))\to C$
$0$	$0$	$0$	$0$
$0$	$0$	$1$	$1$
$0$	$1$	$0$	$1$
$0$	$1$	$1$	$1$
$1$	$0$	$0$	$0$
$1$	$0$	$1$	$1$
$1$	$1$	$0$	$1$
$1$	$1$	$1$	$1$

Das scharfe Hinsehen besteht nun daraus, sich die Ergebnisspalte und die drei Spalten mit den Aussagenvariablen genau anzusehen. Was fällt da auf?

video

YouTube

Wenn Sie dieses Element öffnen, werden Inhalte von externen Dienstleistern geladen und dadurch Ihre IP-Adresse an diese übertragen.

Inhalt ansehen und nicht erneut fragen

 Med. : Einfachste Gestalt eines aussagenlogischen Terms durch scharfes Hinsehen ermitteln

http://youtu.be/I3lZjaxtGh0

CC-BY

Wie im Video zu sehen ist, lautet die einfachste Gestalt:

$B\vee C$

Beide Terme sind also logisch Äquivalent:

$((A\to B)\to (B\to C))\to C\equiv B\vee C$

Weiter scharf Hinsehen!

Wie gesagt: das scharfe Hinsehen erfordert Übung. Also: Fang an zu üben!

Bei drei aussagenlogischen Vaiablen $A$, $B$ und $C$ gibt es insgesamt 2⁸ = 256 Alternativen, wie die Ergebnisspalte in der Wahrheitstafel aussehen kann. Hier kommen einige Beispiele.

Aufgabe 1

Aufgabe

 Aufg.

Ermittle die einfachste Gestalt durch scharfes Hinsehen!

$A$	$B$	$C$	Einfachste Gestalt?
$0$	$0$	$0$	$0$
$0$	$0$	$1$	$0$
$0$	$1$	$0$	$0$
$0$	$1$	$1$	$0$
$1$	$0$	$0$	$0$
$1$	$0$	$1$	$0$
$1$	$1$	$0$	$0$
$1$	$1$	$1$	$0$

Lösung$0$ $A$ $B$ $C$ $0$