Aussagenlogik, Schaltalgebra (halbaddierer)

02.03.2013, 22:29	Adramelec	Auf diesen Beitrag antworten »
Aussagenlogik, Schaltalgebra (halbaddierer) Hallo! Ich will den Halbaddierer mit NOR Gattern zusammenstellen. Folgende Teilformeln weiß ich: Summe: $\begin{eqnarray} \neg(p \leftrightarrow q) \end{eqnarray}$ Übertrag $\begin{eqnarray} p \wedge q \end{eqnarray}$ Die beiden muss ich ja mit einem Oder verknüpfen? Das heißt ich habe dann folgenden Aussagenlogischen Satz: $\begin{eqnarray} \neg(p \leftrightarrow q) \vee (p \wedge q) \end{eqnarray}$ Und nun habe ich mal die Äquivalenz aufgelöst.. Dann sieht mein Ausdruck so aus(Ich betrachte fürs erste mal nur den Summen-Ausdruck): $\begin{eqnarray} \neg(\neg p \vee q) \wedge (p \vee \neg q) \end{eqnarray}$ Danach noch das und weg auf ein oder... Also: $\begin{eqnarray} \neg(\neg(\neg p \vee q)) \vee (\neg(p \vee \neg q)) \end{eqnarray}$ Nur leider stimmt das garnicht. Ich vermute eine falsche Verwendung vom morganschen gesetz.. weiß leider nur nicht wo genau. Hat jemand eine Idee? Danke!
03.03.2013, 00:20	Dopap	Auf diesen Beitrag antworten »
ich hab mir das jetzt 15 min angeschaut, und werde nicht schlau. Ich sehe keinen Satz sondern nur einen logischen Term. Deine Äquivalenz ist für mich eine logische Verknüpfung Bijunktion gennnt. Wenn du von den Mathematikern eine Antwort willst, musst du schon genau sagen was du da machst. Wie wäre es, die "Frage" den Informatikern zu stellen ? Die haben auch mehr Affinität zu NOR - Gatter.
03.03.2013, 00:32	Adramelec	Auf diesen Beitrag antworten »
haha, sry. Danke! Ich hab es mittlerweile alleine geschafft. Es war ein "Auflösungsfehler" von mir... Danke! Lg, Adramelec
03.03.2013, 00:34	Dopap	Auf diesen Beitrag antworten »
Da bin ich aber wirklich erleichtert

1

Verwandte Themen

Die Beliebtesten »

Die Größten »

Die Neuesten »