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 [24.09.2024 20:03] 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  |}}
 +++++
  
 ---- ----
Zeile 14: Zeile 27:
  
 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 |}}
 +++++
  
 ---- ----
  • faecher/informatik/oberstufe/techinf/formale_logik/uebungen/start.1727208193.txt.gz
  • Zuletzt geändert: 24.09.2024 20:03
  • von Frank Schiebel