Komparator 2 Bit |
|
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:
__________________ Syntax Highlighting fürs Board (Link)
|
|
03.03.2015 21:29 |
|
|
SSD21
Jungspund
Dabei seit: 03.03.2015
Beiträge: 18
|
|
Wie kommst du denn auf dieses Ergebnis ?
Was hast du genau gemacht ?
Ich habe doch in meiner Rechnung 2 mal negiert.
|
|
03.03.2015 21:35 |
|
|
Karlito
Kaiser
Dabei seit: 11.04.2011
Beiträge: 1.461
|
|
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
|
|
04.03.2015 12:37 |
|
|
SSD21
Jungspund
Dabei seit: 03.03.2015
Beiträge: 18
|
|
Kannst du das nicht irgendwie mit Latex darstellen was du meinst ?
Dann kann ich die Gleichung versuchen zu vereinfachen?
|
|
04.03.2015 13:22 |
|
|
Karlito
Kaiser
Dabei seit: 11.04.2011
Beiträge: 1.461
|
|
|
04.03.2015 15:38 |
|
|
Karlito
Kaiser
Dabei seit: 11.04.2011
Beiträge: 1.461
|
|
Erklärung:
Ziel ist, dass überall NOR verwendet wird. Also alles etwa diese Form haben:
Unsere Formel ist jetzt aber in der Form . Also Nutzen wir äquivalente Umformungen um daraus eine NOR-Formel zu machen. Dazu negieren wir sie zwei mal:
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:
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 und . Diese haben folgende Form:
wobei die 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):
und wenden anschließend De-Morgan an:
Fertzsch!
Gruß,
Karlito
|
|
04.03.2015 16:09 |
|
|
Javaneu unregistriert
|
|
Zitat: |
Original von Karlito
|
Kannst du mir erklären warum man im 3 Schritt fast 4 mal negiert ?
Das verstehe ich immer noch nicht ?
|
|
04.03.2015 18:14 |
|
|
|
Ziel ist es, ein NOR als Verknüpfung zu erhalten, es steht aber ein AND dort.
Und schon steht zwischen a und b ein ODER und obendrein wird der gesamte Ausdruck negiert, also ein NOR.
__________________ Syntax Highlighting fürs Board (Link)
|
|
04.03.2015 18:28 |
|
|
|