0 Daumen
598 Aufrufe

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.

Avatar von

1 Antwort

0 Daumen

X nand X ist äquivalent zu ¬X

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

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

Avatar von 105 k 🚀

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.

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community