6.2.10.1 Vereinfachung mit Hilfe einer Wahrheitstafel

[gesichtete Version][gesichtete Version]
Zeile 1: Zeile 1:
=Vereinfachung mit Hilfe einer Wahrheitstafel=
=Vereinfachung mit Hilfe einer Wahrheitstafel=


-to do -
<p>
<loop_area type="task">
<p>
Nutze eine Wahrheitstafel, um die folgende aussagenlogische Formel auf möglichst einfache Gestalt zu bringen:
:<math>
( ( A \rightarrow B ) \rightarrow ( B \rightarrow C ) ) \rightarrow C
</math>
</p>
</loop_area>
</p>


<br />
<br />
=== Der Lösungsweg ===
<p>
Du startest mit einer Wahrheitstafel, bei der natürlich die Werte in der Ergebnisspalte ganz rechts noch fehlen:
</p>
<p>
{| class="wikitable"
! &nbsp; &nbsp; <math>A</math> &nbsp; &nbsp;
! &nbsp; &nbsp; <math>B</math> &nbsp; &nbsp;
! &nbsp; &nbsp; <math>C</math> &nbsp; &nbsp;
! &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; <math>( ( A \rightarrow B ) \rightarrow ( B \rightarrow C ) ) \rightarrow C</math> &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
|-
| style="text-align:center" | <math>0</math>
| style="text-align:center" | <math>0</math>
| style="text-align:center" | <math>0</math>
| style="text-align:center" | <math></math>
|-
| style="text-align:center" | <math>0</math>
| style="text-align:center" | <math>0</math>
| style="text-align:center" | <math>1</math>
| style="text-align:center" | <math></math>
|-
| style="text-align:center" | <math>0</math>
| style="text-align:center" | <math>1</math>
| style="text-align:center" | <math>0</math>
| style="text-align:center" | <math></math>
|-
| style="text-align:center" | <math>0</math>
| style="text-align:center" | <math>1</math>
| style="text-align:center" | <math>1</math>
| style="text-align:center" | <math></math>
|-
| style="text-align:center" | <math>1</math>
| style="text-align:center" | <math>0</math>
| style="text-align:center" | <math>0</math>
| style="text-align:center" | <math></math>
|-
| style="text-align:center" | <math>1</math>
| style="text-align:center" | <math>0</math>
| style="text-align:center" | <math>1</math>
| style="text-align:center" | <math></math>
|-
| style="text-align:center" | <math>1</math>
| style="text-align:center" | <math>1</math>
| style="text-align:center" | <math>0</math>
| style="text-align:center" | <math></math>
|-
| style="text-align:center" | <math>1</math>
| style="text-align:center" | <math>1</math>
| style="text-align:center" | <math>1</math>
| style="text-align:center" | <math></math>
|-
|}
</p>
<br />
<br />
<p>
Im nächsten Schritt werden die fehlenden Werte ermittelt.<br />
Das folgende Video zeigt das Vorgehen dabei.
</p>
<p>
<loop_area icon="Video.png" icontext="Video">
<loop_media type="video" title="Platzhalter-Video" description="Bald erscheint hier der geplante Inhalt..." copyright="CC-BY" index=true show_copyright=true>
{{#ev:youtube|kSQJPIWzd5U|700}}
</loop_media>
</loop_area>
</p>
<br />
<br />
<p>
Die komplettierte Tabelle sieht nun so aus:
</p>
<p>
{| class="wikitable"
! &nbsp; &nbsp; <math>A</math> &nbsp; &nbsp;
! &nbsp; &nbsp; <math>B</math> &nbsp; &nbsp;
! &nbsp; &nbsp; <math>C</math> &nbsp; &nbsp;
! &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; <math>( ( A \rightarrow B ) \rightarrow ( B \rightarrow C ) ) \rightarrow C</math> &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
|-
| style="text-align:center" | <math>0</math>
| style="text-align:center" | <math>0</math>
| style="text-align:center" | <math>0</math>
| style="text-align:center" | <math>0</math>
|-
| style="text-align:center" | <math>0</math>
| style="text-align:center" | <math>0</math>
| style="text-align:center" | <math>1</math>
| style="text-align:center" | <math>1</math>
|-
| style="text-align:center" | <math>0</math>
| style="text-align:center" | <math>1</math>
| style="text-align:center" | <math>0</math>
| style="text-align:center" | <math>1</math>
|-
| style="text-align:center" | <math>0</math>
| style="text-align:center" | <math>1</math>
| style="text-align:center" | <math>1</math>
| style="text-align:center" | <math>1</math>
|-
| style="text-align:center" | <math>1</math>
| style="text-align:center" | <math>0</math>
| style="text-align:center" | <math>0</math>
| style="text-align:center" | <math>0</math>
|-
| style="text-align:center" | <math>1</math>
| style="text-align:center" | <math>0</math>
| style="text-align:center" | <math>1</math>
| style="text-align:center" | <math>1</math>
|-
| style="text-align:center" | <math>1</math>
| style="text-align:center" | <math>1</math>
| style="text-align:center" | <math>0</math>
| style="text-align:center" | <math>1</math>
|-
| style="text-align:center" | <math>1</math>
| style="text-align:center" | <math>1</math>
| style="text-align:center" | <math>1</math>
| style="text-align:center" | <math>1</math>
|-
|}
</p>


<br />
<p>
<loop_area type="notice">
<p>
Das Komplettieren der Wahrheitstafel - wie im Video gezeigt - stellt für Ungeübte eine große Schwierigkeit (und damit eine große Fehlerquelle) dar.
</p>
<p>
Dagegen helfen nur drei Dinge: üben, üben und nochmals üben!
</p>
</loop_area>
</p>


<hr>
<p>
Im nächsten Schritt geht es nun um die Ermittlung der ''einfachsten Gestalt'', wie in der Aufgabenstellung gefordert. Dazu gibt es zwei Möglichkeiten:
</p>
<p>
# Durch scharfes Hinsehen (und Erfahrung)
# Unter Zuhilfenahme eines KV-Diagramms
</p>


Hinweis auf KV-Diagramm
<p>
Beide Möglichkeiten werden in den folgenden Abschnitten besprochen.
</p>


Das Karnaugh-Veitch-Diagramm (kurz KV-Diagramm) ist ein einfaches Hilfsmittel zur schnellen Ermittlung eines minimalen logischen Ausdrucks aus einer gegebenen  Booleschen Funktion.
<br />
 
http://de.wikipedia.org/wiki/Karnaugh-Veitch-Diagramm

Version vom 9. Oktober 2014, 11:26 Uhr

Vereinfachung mit Hilfe einer Wahrheitstafel

Aufgabe

Nutze eine Wahrheitstafel, um die folgende aussagenlogische Formel auf möglichst einfache Gestalt zu bringen:


Der Lösungsweg

Du startest mit einer Wahrheitstafel, bei der natürlich die Werte in der Ergebnisspalte ganz rechts noch fehlen:

                                           


Im nächsten Schritt werden die fehlenden Werte ermittelt.
Das folgende Video zeigt das Vorgehen dabei.

video


Die komplettierte Tabelle sieht nun so aus:

                                           


Hinweis

Das Komplettieren der Wahrheitstafel - wie im Video gezeigt - stellt für Ungeübte eine große Schwierigkeit (und damit eine große Fehlerquelle) dar.

Dagegen helfen nur drei Dinge: üben, üben und nochmals üben!

Im nächsten Schritt geht es nun um die Ermittlung der einfachsten Gestalt, wie in der Aufgabenstellung gefordert. Dazu gibt es zwei Möglichkeiten:

  1. Durch scharfes Hinsehen (und Erfahrung)
  2. Unter Zuhilfenahme eines KV-Diagramms

Beide Möglichkeiten werden in den folgenden Abschnitten besprochen.