Informatiker Board | Technische Informatik | Komparator 2 Bit

Informatiker Board » Themengebiete » Technische Informatik » Komparator 2 Bit » Antwort erstellen

» Hallo Gast [Anmelden|Registrieren]

Antwort erstellen

Benutzername:

(du bist nicht eingeloggt!)

Thema:

Nachricht:

HTML ist nicht erlaubt
BBCode ist erlaubt
Smilies sind erlaubt
Bilder sind erlaubt

Smilies: 21 von 33

einfacher Modus erweiterter Modus

aktuellen Tag schließen

alle Tags schließen

Spamschutz:
Text aus Bild eingeben

URLs automatisch umwandeln: fügt automatisch [url] und [/url] in Internet-Adressen ein.
Smilies in diesem Beitrag deaktivieren.
BBCode in diesem Beitrag deaktivieren.
Bilder in diesem Beitrag deaktivieren.
Signatur anzeigen: Soll die im Profil eingestellte Signatur an den Beitrag angehangen werden?
Nachrichtenlänge überprüfen

Die letzten 10 Beiträge

eulerscheZahl

Ziel ist es, ein NOR als Verknüpfung zu erhalten, es steht aber ein AND dort.
$[latex]a \cdot b = \overline{\overline{a \cdot b}} = \overline{\overline{a} + \overline{b}}[/latex]$
Und schon steht zwischen a und b ein ODER und obendrein wird der gesamte Ausdruck negiert, also ein NOR.

Javaneu

Zitat:

Original von Karlito
$[latex] Z & = & a_1\overline{b_1} + a_0a_1\overline{b_0}+a_0\overline{b_0}\,\overline{b_1} & \equiv & \overline{\overline{a_1\overline{b_1} + a_0a_1\overline{b_0}+a_0\overline{b_0}\,\overline{b_1}}} & \equiv & \overline{\overline{\overline{\overline{a_1\overline{b_1}}} + \overline{\overline{a_0a_1\overline{b_0}}} + \overline{\overline{a_0\overline{b_0}\,\overline{b_1}}}}} & \equiv & \overline{\overline{\overline{\overline{a_1} + b_1} + \overline{\overline{a_0} + \overline{a_1} + b_0} + \overline{\overline{a_0} + b_0 + b_1}}} [/latex]$

Kannst du mir erklären warum man im 3 Schritt fast 4 mal negiert ?

Das verstehe ich immer noch nicht ?

Karlito

Erklärung:
Ziel ist, dass überall NOR verwendet wird. Also alles etwa diese Form haben:

$[latex] \overline{a + b} [/latex]$

Unsere Formel ist jetzt aber in der Form [latex]t_1 + t_2 + t_3[/latex]

. Also Nutzen wir äquivalente Umformungen um daraus eine NOR-Formel zu machen. Dazu negieren wir sie zwei mal:

$[latex]t_1 + t_2 + t_3 \equiv \overline{\overline{t_1 + t_2 + t_3}}[/latex]$

Dadurch haben wir ein großes NOR, was jedoch nochmals negiert ist. Die Negation können wir so lassen. Es ist eine Kurzform für folgende Äquivalenz und erspart uns eine Menge Schreibarbeit:

$[latex] \overline{a} & \equiv & \overline{a+a} \Rightarrow \overline{\overline{t_1 + t_2 + t_3}} & \equiv & \overline{\overline{t_1 + t_2 + t_3} + \overline{t_1 + t_2 + t_3}} [/latex]$

Außerdem ist das als Schaltung leicht zu realisieren, da man einfach den Ausgang eines zu negierenden Signals nimmt und damit die Eingänge eines NOR-Gatters beschaltet.

Bleiben uns noch die Terme [latex]t_1, t_2[/latex]

und

. Diese haben folgende Form:

$[latex] l_1l_2l_3 \text{ oder } l_1l_2 [/latex]$

wobei die [latex] l_i[/latex]

Literale sind und somit Atome oder negierte Atome darstellen können. (Atom = atomare Formel = eine Formel, welche keine Junktoren enthält = in der Aussagenlogik eine einzelne aussagenlogische Variable)

Da die Terme mit UND verknüpft sind, entsprichen sie nicht unserer Anforderung, nur NOR zu verwenden. Also müssen wir sie entsprechend äquivalten Umformen. Dazu negieren wir sie zwei mal (hier das Beispiel mit 3 Literalen):

$[latex] l_1l_2l_3 \equiv \overline{\overline{l_1l_2l_3}} [/latex]$

und wenden anschließend De-Morgan an:

$[latex] \overline{\overline{l_1l_2l_3}} \equiv \overline{\overline{l_1} + \overline{l_2} + \overline{l_3}} [/latex]$

Fertzsch!

Gruß,

Karlito

Karlito

$[latex] Z & = & a_1\overline{b_1} + a_0a_1\overline{b_0}+a_0\overline{b_0}\,\overline{b_1} & \equiv & \overline{\overline{a_1\overline{b_1} + a_0a_1\overline{b_0}+a_0\overline{b_0}\,\overline{b_1}}} & \equiv & \overline{\overline{\overline{\overline{a_1\overline{b_1}}} + \overline{\overline{a_0a_1\overline{b_0}}} + \overline{\overline{a_0\overline{b_0}\,\overline{b_1}}}}} & \equiv & \overline{\overline{\overline{\overline{a_1} + b_1} + \overline{\overline{a_0} + \overline{a_1} + b_0} + \overline{\overline{a_0} + b_0 + b_1}}} [/latex]$

SSD21

Kannst du das nicht irgendwie mit Latex darstellen was du meinst ?

Dann kann ich die Gleichung versuchen zu vereinfachen?

Karlito

Du darfst die große Doppelnegation nicht auflösen, da sonst die Oder in weg fallen. Anstatt dessen musst du jeden Teilterm, der durch Und verbunden ist doppelt negieren und eine der Negationen auflösen, damit aus dem Und ein Oder wird.

Gruß,

Karlito

SSD21

Wie kommst du denn auf dieses Ergebnis ?

Was hast du genau gemacht ?

Ich habe doch in meiner Rechnung 2 mal negiert.

eulerscheZahl

Es ist nicht falsch, aber du bist wieder da, wo du angefangen hast. Die ODER müssen alle negiert sein, du sollst es ja mit NOR aufbauen.
Ich komme auf: $[latex]\overline{\overline{\overline{\overline{a_1}+b_1}+\overline{\overline{a_0} + \overline{a_1}+b_0}+ \overline{\overline{a_0} +b_0+b_1}}}[/latex]$

SSD21

Hier mal meine Lösung verlinkt:

http://www.pic-upload.de/view-26306562/IMG_0431.jpg.html

Stimmt sie ?

javaneu

Ich verstehe immer noch nicht warum mein geposteter Ansatz falsch ist ?

Es sind weitere Beiträge zu diesem Thema vorhanden. Klicken Sie hier, um sich alle Beiträge anzusehen.