Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen der Seite angezeigt.

--- faecher:informatik:oberstufe:techinf:formale_logik:normalformen:start [24.09.2024 19:13] – [Konjunktive Normalform] Frank Schiebel
+++ faecher:informatik:oberstufe:techinf:formale_logik:normalformen:start [26.09.2024 09:49] (aktuell) – [Konjunktive Normalform] Frank Schiebel
@@ Zeile 42: / Zeile 42: @@
 Eine konjunktive Normalform für die Wahrheitstafel im Beispiel ist also $(x_1 \lor \lnot x_2) \land (\lnot x_1 \lor \lnot x_2)$.
+----
+{{:aufgabe.png?nolink  |}}
+=== (A1) ===
+Stelle zum Term $(\lnot(x_1 \lor x_2) \lor x_3)$ die Wahrheitstafel auf und ermittle daraus die DNF und eine KNF. Versuche dann DNF und KNF durch Umformungen des Terms zu erhalten - welche Rechenregeln verwendest du dabei?
+++++ Lösungshinweis 1 - Wahrheitstabelle |
+{{ :faecher:informatik:oberstufe:techinf:formale_logik:normalformen:2024-09-26_07-57.png |}}
+++++
+++++ Lösungshinweis 1 - DNF |
+{{ :faecher:informatik:oberstufe:techinf:formale_logik:normalformen:unbenannt-2024-09-26-0758.png |}}
+++++
+----
+{{:aufgabe.png?nolink  |}}
+=== (A2) ===
+Gesucht ist eine boolesche Funktion mit drei Variablen E1, E2 und E3, deren Ausgang A genau dann den Wert TRUE annimmt, wenn die Dualzahl[E3 E2 E1]<sub>2</sub> eine Primzahl ist.
+  * Ermittle die DNF der Funktion.
+  * Vereinfache die DNF der Funktion so weit wie möglich.
+  * Erstelle die KNF der Funktion.
+  * Vereinfache die KNF der Funktion so weit wie möglich.
+  * Überprüfe ob die beiden vereinfachten Terme aus DNF und KNF zum gleichen Resultat führen.
+++++ Lösungsvorschlag für KNF/DNF |
+{{ :faecher:informatik:oberstufe:techinf:formale_logik:normalformen:primzahlen_lsg01.png |}}
+++++
 ----
 Diese Seite ist sehr stark an das Material auf https://inf-schule.de/rechner/digitaltechnik/Schaltnetze/Fachkonzept_Normalform angelehnt, das unter einer CC-BY-SA Lizenz veröffentlicht ist.