(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"
! <math>A</math>
! <math>A</math>
! <math>B</math>
! <math>B</math>
! <math>C</math>
! <math>C</math>
! <math>(\neg A \lor B \lor C) \quad \land \quad (\neg A \lor \neg B \lor C)</math>
! <math>(\neg A \lor B \lor C) \land (\neg A \lor \neg B \lor C)</math>
! <math>\neg A \lor B \lor (C \land \neg A) \lor \neg B \lor C</math>
! <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>
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:
YouTube
Wenn Sie dieses Element öffnen, werden Inhalte von externen Dienstleistern geladen und dadurch Ihre IP-Adresse an diese übertragen.
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?