Die letzten 10 Beiträge |
eulerscheZahl |
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. |
Javaneu |
Zitat: |
Original von Karlito
|
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:
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 |
Karlito |
|
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: |
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. |