Wahrheitstabelle und NAND-Gatter

Neue Frage »

Auf diesen Beitrag antworten »
KrampusD Wahrheitstabelle und NAND-Gatter

Hallo,

Ich habe noch ein Problem und zwar habe ich aus gegebenen Informationen eine Wahrheitstabelle aufgestellt, welche wie folgt aussieht:

a b c out
0 0 0 1
0 0 1 0
0 1 0 1
0 1 1 0
1 0 0 1
1 0 1 0
1 1 0 0
1 1 1 0

DNF: Sieht dann wie folgt aus:

(!a && !b && !c) || (!a && b && !c) || (a && !b && !c)

Nun soll ich daraus, die NAND - Form bilden und daran scheitere ich.

Ich weiß nicht genau, wie man da vorgehen soll.

Habt Ihr einen Tipp für mich, wäre Euch sehr dankbar!

Danke!

Gruß
 
Auf diesen Beitrag antworten »
Karlito

Hallo KrampusD,

die Klauseln lassen sich ja schon recht gut mit NAND-Gattern bauen. Positive Literale muss man nur mit einer Doppelnegation versehen. Was dir noch fehlt, ist die ODER-Verknüpfung günstig umztubauen. Dazu kannst du De-Morgan verwenden.

[latex]<br />
 & & (\neg a \wedge \neg b \wedge \neg c) \vee (\neg a \wedge b \wedge \neg c) \vee (a \wedge \neg b \wedge \neg c)<br />
& \equiv & (\neg a \wedge \neg b \wedge \neg c) \vee (\neg a \wedge \neg\neg b \wedge \neg c) \vee (\neg\neg a \wedge \neg b \wedge \neg c)<br />
& \equiv & \overline{\overline{(\neg a \wedge \neg b \wedge \neg c) \vee (\neg a \wedge \neg\neg b \wedge \neg c) \vee (\neg\neg a \wedge \neg b \wedge \neg c)}}<br />
& \equiv & \overline{\overline{(\neg a \wedge \neg b \wedge \neg c)} \wedge \overline{(\neg a \wedge \neg\neg b \wedge \neg c)} \wedge \overline{(\neg\neg a \wedge \neg b \wedge \neg c)}}<br />
[/latex]

Gruß,

Karlito
Auf diesen Beitrag antworten »
KrampusD

Ich danke Dir recht herzlich!

Gruß
 
Neue Frage »
Antworten »


Verwandte Themen

Die Beliebtesten »
Die Größten »
Die Neuesten »