From fc95109405cb9a15b90fe666476b363e06bb3910 Mon Sep 17 00:00:00 2001 From: Marvin Borner Date: Sun, 10 Mar 2019 22:37:06 +0100 Subject: Added process of minifying via KV --- process.html | 271 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 271 insertions(+) create mode 100644 process.html (limited to 'process.html') diff --git a/process.html b/process.html new file mode 100644 index 0000000..7b0135b --- /dev/null +++ b/process.html @@ -0,0 +1,271 @@ + + + + + + + + KV-Diagramme + + + + +
+

Ablauf

+

+ Das Minimieren eines booleschen Ausdrucks beginnt mit einer ausgefüllten Wahrheitstabelle, + mit deren Ausgangswerten daraufhin eine KV-Tafel erstellt wird und wie im folgenden + Beispiel erklärt, die disjunktive Normalform ausgelesen wird. +

+ +

Beispielsablauf:

+
    +
  1. +

    Wahrheitstabelle:

    + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
    E4E3E2E1ZDNF
    00000
    00010
    00101(E1∧E2E3E4) +
    00111(E1∧E2E3E4) +
    01000
    01011(E1E2∧E3E4) +
    01100
    01110
    10000
    10010
    10101(E1∧E2E3∧E4) +
    10111(E1∧E2E3∧E4) +
    11000
    11010
    11101(E1∧E2∧E3∧E4) +
    11110
    +
  2. + +
  3. +

    Disjunktive Normalform ablesen (zum vergleichen):

    +

    + Z = + (E1∧E2E3E4)∨ + (E1∧E2E3E4)∨ + (E1E2∧E3E4)∨ + (E1∧E2E3∧E4)∨ + (E1∧E2E3∧E4)∨ + (E1∧E2∧E3∧E4) +

    +
  4. + +
  5. +

    KV-Diagramm zeichnen und mit den Z Werten aus der Wahrheitstabelle + füllen:

    + +
    +
    +
    E1
    +
    E1
    +
    !E1
    +
    !E1
    +
    +
    E2
    +
    +
    +
    +
    +
    !E4
    +
    E2
    +
    +
    +
    +
    +
    E4
    +
    !E2
    +
    +
    +
    +
    +
    E4
    +
    !E2
    +
    +
    +
    +
    +
    !E4
    +
    +
    !E3
    +
    E3
    +
    E3
    +
    !E3
    +
    +
    +
  6. + +
  7. +

    Felder mit Beachtung der Regeln zusammenfassen:

    +
      + +
    1. + +
    2. +

      Disjunktive Normalform erstellen:

      +

      + Z = (E2E3)∨ + (E1∧E2∧E4)∨ + (E1E2∧E3 + E4) +

      +
    3. +
    + + + > Hinweise +
    + + + + + + -- cgit v1.2.3