faecher:informatik:oberstufe:techinf:formale_logik:uebungen:start

Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen der Seite angezeigt.

Link zu der Vergleichsansicht

Beide Seiten, vorherige Überarbeitung Vorherige Überarbeitung
Nächste Überarbeitung
Vorherige Überarbeitung
faecher:informatik:oberstufe:techinf:formale_logik:uebungen:start [13.10.2022 06:56] Frank Schiebelfaecher:informatik:oberstufe:techinf:formale_logik:uebungen:start [26.09.2024 08:18] (aktuell) Frank Schiebel
Zeile 7: Zeile 7:
  
 {{  :faecher:informatik:oberstufe:techinf:formale_logik:uebungen:auswahl_026.png?300  |}} {{  :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  |}} {{:aufgabe.png?nolink  |}}
 === (A2) === === (A2) ===
-Minimiere den folgenden boolschen Term mithilfe eines KV-Diagramms und vereinfachen, wenn möglich, das Ergebnis:+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) 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 |}}
 +++++
  
 ---- ----
Zeile 19: Zeile 53:
 === (A3) === === (A3) ===
  
-  * Bestimmen  eine weitestmöglich vereinfachte Form des folgenden booleschen Terms: A∨¬ (¬B∧C )∧C +  * Bestimme eine weitestmöglich vereinfachte Form des folgenden booleschen Terms: A∨¬ (¬B∧C )∧C 
-  * Überführen Sie den vereinfachten booleschen Term in ein Schaltbild.+  * Überführe den vereinfachten booleschen Term in ein Schaltbild.
  
  
  
  • faecher/informatik/oberstufe/techinf/formale_logik/uebungen/start.1665644215.txt.gz
  • Zuletzt geändert: 13.10.2022 06:56
  • von Frank Schiebel