From bad780586c1be3e86a44887117df1572717e40ad Mon Sep 17 00:00:00 2001 From: Leander Jakschik <60060497+LeanderJDev@users.noreply.github.com> Date: Mon, 4 Nov 2024 14:55:11 +0100 Subject: [PATCH 1/2] Korrektur zweier Rechtschreibfehler Minimierung von Boolesche Funktionen > Wie weit waren wir gekommen? --- 03_Minimierung.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/03_Minimierung.md b/03_Minimierung.md index af38192..48a757f 100755 --- a/03_Minimierung.md +++ b/03_Minimierung.md @@ -92,8 +92,8 @@ Weisen Sie nach, dass die Terme äquivalent sind. Wie gehen Sie vor? $$ \begin{aligned} f(x_1, x_2, x_3, x_4) &= x_3\overline{x}_1+ x_4\overline{x}_3\overline{x}_2 + \overline{x}_4x_3x_2\overline{x}_1 + x_4x_3\overline{x}_2x_1 \\ -&= x_3\overline{x}_1 + \overline{x}_4x_3x_2\overline{x}_1 + x_4x_3\overline{x}_2x_1 + x_4\overline{x}_3\overline{x}_2 & (Kommutativgesetzt) \\ -&= x_3\overline{x}_1 + x_4x_3\overline{x}_2x_1 + x_4\overline{x}_3\overline{x}_2 & (Absorbtionsgesetz) \\ +&= x_3\overline{x}_1 + \overline{x}_4x_3x_2\overline{x}_1 + x_4x_3\overline{x}_2x_1 + x_4\overline{x}_3\overline{x}_2 & (Kommutativgesetz) \\ +&= x_3\overline{x}_1 + x_4x_3\overline{x}_2x_1 + x_4\overline{x}_3\overline{x}_2 & (Absorptionsgesetz) \\ \end{aligned} $$ From 3540fcf44d015d187b237e9f31681149d05ea283 Mon Sep 17 00:00:00 2001 From: Leander Jakschik <60060497+LeanderJDev@users.noreply.github.com> Date: Mon, 4 Nov 2024 15:12:55 +0100 Subject: [PATCH 2/2] =?UTF-8?q?Korrektur=20der=20Beispiele=20f=C3=BCr=20KD?= =?UTF-8?q?NF=20und=20KKNF?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit außerdem dieses mal Versionsnummer inkrementiert --- 03_Minimierung.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/03_Minimierung.md b/03_Minimierung.md index 48a757f..551e02e 100755 --- a/03_Minimierung.md +++ b/03_Minimierung.md @@ -2,7 +2,7 @@ author: Sebastian Zug & André Dietrich & Fabian Bär email: sebastian.zug@informatik.tu-freiberg.de & andre.dietrich@informatik.tu-freiberg.de & fabian.baer@student.tu-freiberg.de -version: 0.0.2 +version: 0.0.3 language: de narrator: Deutsch Female @@ -226,12 +226,12 @@ Und nun in der Kombination .... **Kanonische Disjunktive Normalform (KDNF)** + eindeutige Darstellung einer booleschen Funktion f als Disjunktion von Mintermen -+ Beispiel: $( x \cdot y \cdot z ) + ( x \cdot y \cdot z ) + ( x \cdot y \cdot z )$ ist KDNF von $f(x,y,z)$ ++ Beispiel: $( \overline{x} \cdot y \cdot z ) + ( x \cdot \overline{y} \cdot \overline{z} ) + ( \overline{x} \cdot y \cdot \overline{z} )$ ist KDNF von $f(x,y,z)$ **Kanonische Konjunktive Normalform (KKNF)** + eindeutige Darstellung einer booleschen Funktion f als Konjunktion von Maxtermen -+ Beispiel: $( x + y ) \cdot ( x + y ) \cdot ( x + y )$ ist KKNF von $f(x,y)$ ++ Beispiel: $( x + \overline{y} ) \cdot ( \overline{x} + y ) \cdot ( \overline{x} + \overline{y} )$ ist KKNF von $f(x,y)$ ******************************************************************************** {{3-4}}