Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen der Seite angezeigt.

--- faecher:informatik:oberstufe:techinf:formale_logik:normalformen:start [26.09.2024 05:31] – [Konjunktive Normalform] Frank Schiebel
+++ faecher:informatik:oberstufe:techinf:formale_logik:normalformen:start [26.09.2024 09:49] (aktuell) – [Konjunktive Normalform] Frank Schiebel
@@ Zeile 49: / Zeile 49: @@
 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]2 eine Primzahl ist.
+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.
@@ Zeile 61: / Zeile 67: @@
   * 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.