6.2.7 Von der Wahrheitstafel zur KNF

[gesichtete Version][gesichtete Version]
(LOOP2 Upgrade)
 
(9 dazwischenliegende Versionen von einem anderen Benutzer werden nicht angezeigt)
Zeile 77: Zeile 77:
</p>
</p>
<p>
<p>
<loop_media type="video" title="Von der Wahrheitstafel zur KNF" description="http://youtu.be/4UU83WSs394" copyright="CC-BY" index=true show_copyright=true>
<loop_media type="video" title="Von der Wahrheitstafel zur KNF" description="http://youtu.be/WRYAmf864tQ" copyright="CC-BY" index=true show_copyright=true id="5fa9593053580">
{{#ev:youtube|4UU83WSs394|700}}
{{#ev:youtube|WRYAmf864tQ|700}}
</loop_media>
</loop_media>
</p>
</p>
Zeile 86: Zeile 86:
<p>
<p>
<loop_area type="task">
<loop_area type="task">
<loop_task title="Die Notwendigkeit der Klammern">
<loop_task title="Die Notwendigkeit der Klammern" id="5fa9593053594">
<p>
<p>
Warum sind in dem folgenden Term die Klammern wichtig?
Warum sind in dem folgenden Term die Klammern wichtig?
Zeile 118: Zeile 118:
<p>
<p>
<loop_area type="task">
<loop_area type="task">
<loop_task title="Vervollständige die Tabelle und frag dich warum">
<loop_task title="Vervollständige die Tabelle und frag dich warum" id="5fa95930535a3">
<p>
<p>
Vervollständige die Ergebnisspalte der Wahrheitstafel:
Vervollständige die Ergebnisspalte der Wahrheitstafel:
Zeile 202: Zeile 202:
<p>
<p>
{| class="wikitable"
{| class="wikitable"
! &nbsp; &nbsp; <math>A</math> &nbsp; &nbsp;
! &nbsp; <math>A</math> &nbsp;
! &nbsp; &nbsp; <math>B</math> &nbsp; &nbsp;
! &nbsp; <math>B</math> &nbsp;
! &nbsp; &nbsp; <math>C</math> &nbsp; &nbsp;
! &nbsp; <math>C</math> &nbsp;
! &nbsp; &nbsp; <math>(\neg A \lor B \lor C) \quad \land \quad (\neg A \lor \neg B \lor C)</math> &nbsp; &nbsp;
! &nbsp; <math>(\neg A \lor B \lor C) \land (\neg A \lor \neg B \lor C)</math>&nbsp;
! &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; <math>\neg A \lor B \lor (C \land \neg A) \lor \neg B \lor C</math> &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
! &nbsp; <math>\neg A \lor B \lor (C \land \neg A) \lor \neg B \lor C</math>
|-
|-
| style="text-align:center" | <math>0</math>
| style="text-align:center" | <math>0</math>
Zeile 247: Zeile 247:
| 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>1</math>
| style="text-align:center" | <math>0</math>
| style="text-align:center" | <math></math>
| style="text-align:center" | <math></math>
|-
|-
Zeile 253: Zeile 253:
| 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></math>
| style="text-align:center" | <math></math>
|-
|-
Zeile 272: Zeile 272:
<p>
<p>
<loop_area type="task">
<loop_area type="task">
<loop_task title="Eins oder Null bei KNF?" id="5fa95930535b8">
<p>
<p>
In einer gegebenen Wahrheitstafel finden sich in der Ergebnisspalte die Funktionswerte Null (0) bzw. Eins (1). Welcher dieser beiden Werte ist für die Bildung der KNF (konjunktiven Normalform) aus der Wahrheitstafel von Bedeutung?</p>
In einer gegebenen Wahrheitstafel finden sich in der Ergebnisspalte die Funktionswerte Null (0) bzw. Eins (1). Welcher dieser beiden Werte ist für die Bildung der KNF (konjunktiven Normalform) aus der Wahrheitstafel von Bedeutung?</p>
</loop_task>
</loop_area>
</loop_area>
</p>
</p>


<br />
<br />

Aktuelle Version vom 9. November 2020, 16:58 Uhr

Von der Wahrheitstafel zur KNF

Gegeben sei die folgende Wahrheitstafel.
, und sind die Variablen, ist der Funktionswert.


                                           
Fehler beim Parsen (SVG mit PNG-Fallback (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle 1} Fehler beim Parsen (SVG mit PNG-Fallback (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle 1} Fehler beim Parsen (SVG mit PNG-Fallback (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle 1} Fehler beim Parsen (SVG mit PNG-Fallback (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle 1}


Aus dieser Wahrheitstafel resultiert der folgende Term in KNF (konjunktiver Normalform):

Fehler beim Parsen (SVG mit PNG-Fallback (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle (\neg A \lor B \lor C) \quad \land \quad (\neg A \lor \neg B \lor C)}


Hinweis

Ein Term in KNF ist eine Konjunktion von Disjunktionen!


Das folgende Video zeigt, wie der Term in KNF aus der Wahrheitstafel gebildet wird:


Aufgabe 1

Aufgabe

Warum sind in dem folgenden Term die Klammern wichtig?

Oder anders gefragt:
Was würde sich ändern, wenn man auf die Klammern verzichtet?


Aufgabe 2

Aufgabe

Vervollständige die Ergebnisspalte der Wahrheitstafel:

    Fehler beim Parsen (SVG mit PNG-Fallback (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle A}         Fehler beim Parsen (SVG mit PNG-Fallback (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle B}         Fehler beim Parsen (SVG mit PNG-Fallback (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle C}               Fehler beim Parsen (SVG mit PNG-Fallback (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle \neg A \lor B \lor (C \land \neg A) \lor \neg B \lor C}          
Fehler beim Parsen (SVG mit PNG-Fallback (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle 0} Fehler beim Parsen (SVG mit PNG-Fallback (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle 0} Fehler beim Parsen (SVG mit PNG-Fallback (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle 0} Fehler beim Parsen (SVG mit PNG-Fallback (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle }
Fehler beim Parsen (SVG mit PNG-Fallback (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle 0} Fehler beim Parsen (SVG mit PNG-Fallback (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle 0} Fehler beim Parsen (SVG mit PNG-Fallback (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle 1} Fehler beim Parsen (SVG mit PNG-Fallback (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle }
Fehler beim Parsen (SVG mit PNG-Fallback (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle 0} Fehler beim Parsen (SVG mit PNG-Fallback (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle 1} Fehler beim Parsen (SVG mit PNG-Fallback (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle 0} Fehler beim Parsen (SVG mit PNG-Fallback (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle }
Fehler beim Parsen (SVG mit PNG-Fallback (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle 0} Fehler beim Parsen (SVG mit PNG-Fallback (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle 1} Fehler beim Parsen (SVG mit PNG-Fallback (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle 1} Fehler beim Parsen (SVG mit PNG-Fallback (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle }
Fehler beim Parsen (SVG mit PNG-Fallback (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle 1} Fehler beim Parsen (SVG mit PNG-Fallback (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle 0} Fehler beim Parsen (SVG mit PNG-Fallback (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle 0} Fehler beim Parsen (SVG mit PNG-Fallback (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle }
Fehler beim Parsen (SVG mit PNG-Fallback (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle 1} Fehler beim Parsen (SVG mit PNG-Fallback (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle 0} Fehler beim Parsen (SVG mit PNG-Fallback (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle 1} Fehler beim Parsen (SVG mit PNG-Fallback (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle }
Fehler beim Parsen (SVG mit PNG-Fallback (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle 1} Fehler beim Parsen (SVG mit PNG-Fallback (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle 1} Fehler beim Parsen (SVG mit PNG-Fallback (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle 0} Fehler beim Parsen (SVG mit PNG-Fallback (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle }
Fehler beim Parsen (SVG mit PNG-Fallback (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle 1} Fehler beim Parsen (SVG mit PNG-Fallback (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle 1} Fehler beim Parsen (SVG mit PNG-Fallback (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle 1} Fehler beim Parsen (SVG mit PNG-Fallback (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle }



Aufgabe 3

Aufgabe

In einer gegebenen Wahrheitstafel finden sich in der Ergebnisspalte die Funktionswerte Null (0) bzw. Eins (1). Welcher dieser beiden Werte ist für die Bildung der KNF (konjunktiven Normalform) aus der Wahrheitstafel von Bedeutung?