Zeige wie die logische Implikation A ⇒ B durch die Verknüpfung A (nand) B dargestellt werden kann, d.h.

Question

Aufgabe:

Zeige wie die logische Implikation A ⇒ B durch die Verknüpfung A (nand) B  dargestellt werden kann, d.h. finden eine Formel, die zu A ⇒ B logisch äquivalent ist und in der nur die Symbole ( , ) , nand , A und B vorkommen.

Problem/Ansatz:

Ich komme bei dieser Aufgabe nicht weite.

Answer 1

X nand X ist äquivalent zu ¬X

¬(X nand Y) ist äquivalent zu X ∧ Y

X ⇒ Y ist äquivalent zu ¬(X ∧ ¬Y)

Comments

ist ein deiner Antwort A=X und B=Y?

---

Mein Antwort besteht aus drei allgemeingültigen Aussagen, die unabhängig davon wahr sind, mit welchen Wahrheitswerten oder Aussagen du die Variablen X und Y belegst.

Du musst aus den drei Äquivalenzen selbst eine Formel zusammenbauen, die äquivalent zu A ⇒ B ist.