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 [26.09.2024 07:27] Frank Schiebelfaecher:informatik:oberstufe:techinf:formale_logik:uebungen:start [26.09.2024 08:18] (aktuell) Frank Schiebel
Zeile 18: Zeile 18:
  
 ++++ Lösungsvorschlag | ++++ Lösungsvorschlag |
-{{ :faecher:informatik:oberstufe:techinf:formale_logik:uebungen:a1_ergebnis.png |}}+{{ :faecher:informatik:oberstufe:techinf:formale_logik:uebungen:a1_ergebnis.png  |}}
 ++++ ++++
  
Zeile 27: 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.1727335648.txt.gz
  • Zuletzt geändert: 26.09.2024 07:27
  • von Frank Schiebel