Skip to content

Commit 1a74e5f

Browse files
committed
Restructure equations avoiding CI errors
1 parent 47577a7 commit 1a74e5f

1 file changed

Lines changed: 6 additions & 19 deletions

File tree

03_Minimierung.md

Lines changed: 6 additions & 19 deletions
Original file line numberDiff line numberDiff line change
@@ -718,27 +718,14 @@ Nehmen wir folgende Wahrheitstafel an:
718718

719719
Ablesen der KNF:
720720

721-
- Zusammenfassung der Nullwerte (Summentermen)
721+
- Zusammenfassung der Nullwerte (Summentermen) - $\overline{w}+\overline{x}+z, x+\overline{z}, w+\overline{x}+y$
722+
- Invertieren der Eingangsvariablen - $w+x+\overline{z}, \overline{x}+z, \overline{w}+x+\overline{y}$
723+
- Aufstellen der KNF - $A = (w+x+\overline{z}) \cdot (\overline{x}+z) \cdot (\overline{w}+x+\overline{y})$
722724

723-
$\overline{w}+\overline{x}+z, x+\overline{z}, w+\overline{x}+y$
725+
> Da dies ein wenig durch die _Brust ins Auge_ gedacht ist, wird folgendes Vorgehen empfohlen, das die Negation der KDNF nutzt:
724726
725-
- Invertieren der Eingangsvariablen
726-
727-
$w+x+\overline{z}, \overline{x}+z, \overline{w}+x+\overline{y}$
728-
729-
- Aufstellen der KNF
730-
731-
$A = (w+x+\overline{z}) \cdot (\overline{x}+z) \cdot (\overline{w}+x+\overline{y})$
732-
733-
> Da dies ein wenig durch die _Brust ins Auge_ gedacht ist, bietet sich folgendes Vorgehen an, die die Negation der KDNF nutzt:
734-
735-
- Zusammenfassen der Nullwerte als negierte DNF
736-
737-
$\overline{A}_{DNF} = \overline{w}\,\overline{x}z + x\overline{z} + w\overline{x}y $
738-
739-
- Anwendung des de-morganschen Gesetzes
740-
741-
$A_{DNF} = \overline{ \overline{w}\,\overline{x}\,z + x\overline{z} + w\overline{x}y} = (w+x+\overline{z})(\overline{x} + z)(\overline{w}+x+\overline{y}) $
727+
- Zusammenfassen der Nullwerte als negierte DNF - $\overline{A}_{DNF} = \overline{w}\,\overline{x}z + x\overline{z} + w\overline{x}y $
728+
- Anwendung des de-morganschen Gesetzes - $A_{DNF} = \overline{ \overline{w}\,\overline{x}\,z + x\overline{z} + w\overline{x}y} = (w+x+\overline{z})(\overline{x} + z)(\overline{w}+x+\overline{y}) $
742729

743730
> **Aufgabe:** Weisen Sie die Äquivalenz der Gleichungen für die KNF $A_{KNF} = (w+x+\overline{z})(\overline{x} + z)(\overline{w}+x+\overline{y})$ und die DNF $A_{DNF} = \overline{w}\,\overline{x}\,\overline{z}+xz+w\overline{x}\overline{z}$ nach.
744731

0 commit comments

Comments
 (0)