====== Übungen ======

{{:aufgabe.png?nolink  |}}
=== (A1) ===

Gegeben ist ein KV-Diagramm für eine logische Funktion f: Gib die minimale disjunktive Normalform für die Funktion f an.

{{  :faecher:informatik:oberstufe:techinf:formale_logik:uebungen:auswahl_026.png?300  |}}

++++ Hifestellung 1 - Bereiche |
{{ :faecher:informatik:oberstufe:techinf:formale_logik:uebungen:a1_bereiche.png |}}

++++

++++ Hilfestellung 2 - Bereiche mit verbaler Bechreibung |
{{ :faecher:informatik:oberstufe:techinf:formale_logik:uebungen:a1_bereiche_verbal.png |}}
++++

++++ Lösungsvorschlag |
{{ :faecher:informatik:oberstufe:techinf:formale_logik:uebungen:a1_ergebnis.png  |}}
++++

----
{{:aufgabe.png?nolink  |}}
=== (A2) ===
Minimiere den folgenden boolschen Term mithilfe eines KV-Diagramms und vereinfache, wenn möglich, das Ergebnis:

X = ( A∧¬ B∧C∧D)∨( A∧¬B∧¬C∧D)∨( A∧¬B∧C∧¬ D)∨ ( A∧¬ B∧¬C∧¬ D)∨(¬ A∧¬ B∧¬C∧¬ D)∨(¬ A∧¬B∧C∧¬D)

++++ Hilfestellung 1 - Wahrheitstabelle |
Bei dem dargestellten Term handelt es sich um die kanonische DNF einer logischen Funktion - man kann die Zeilen mit dem Funktionswert 1 also direkt ablesen, in dem man die Variablen ohne "not" als 1 notiert, die mit "not" als 0:

{{ :faecher:informatik:oberstufe:techinf:formale_logik:uebungen:a2_01.png |}}

++++

++++ Hilfestellung 2 - KV-Matrix |

Eine KV-Matrix könnte so aussehen - wenn du die Reihenfolge der Variablen anders gewählt hast vielleicht auch etwas anders.

{{ :faecher:informatik:oberstufe:techinf:formale_logik:uebungen:a2_02.png |}}
++++
++++ Hilfestellung 3 - Bereiche |
{{ :faecher:informatik:oberstufe:techinf:formale_logik:uebungen:a2_bereiche.png |}}

++++
++++ Lösungsvorschlag |
{{ :faecher:informatik:oberstufe:techinf:formale_logik:uebungen:a2_lsg.png |}}
++++

----
{{:aufgabe.png?nolink  |}}
=== (A3) ===

  * Bestimme eine weitestmöglich vereinfachte Form des folgenden booleschen Terms: A∨¬ (¬B∧C )∧C
  * Überführe den vereinfachten booleschen Term in ein Schaltbild.