Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen der Seite angezeigt.

--- faecher:informatik:oberstufe:techinf:formale_logik:uebungen:start [13.10.2022 06:51] – angelegt Frank Schiebel
+++ faecher:informatik:oberstufe:techinf:formale_logik:uebungen:start [26.09.2024 08:18] (aktuell) – Frank Schiebel
@@ Zeile 6: / Zeile 6: @@
 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|}}
+{{  :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.