0 Daumen
518 Aufrufe

Aufgabe:

Seien P, Q Aussagenvariablen. Definieren Sie, z.B. durch Angabe einer Wahrheitstafel oder einer geeigneten Formel, einen Junktor P | Q, so dass Sie für ¬P und P Λ Q aussagenlogisch äquivalent Formeln finden können, die ausschließlich den Junktor verwenden. Begründen Sie auch dies z.B. durch die Angabe geeigneter Wahrheitstafeln.


Problem/Ansatz:

Ich weiß es nicht, welche Junktor ist das |.

Ich werde sehr Dankbar, wenn Sie mir bei dieser Frage helfen.

Vielen Dank im Voraus.

Avatar von
PQP | QA Λ B¬(A Λ B)
WWFWF
FWWFW
WFWFW
FFWFW

P | Q ≡ ¬(P Λ Q)


Ist das so richtig?

1 Antwort

0 Daumen
 
Beste Antwort
Ich weiß es nicht, welche Junktor ist das |.

Den sollst du selbst erfinden.

Avatar von 107 k 🚀

Ich glaube, das ist nand Junktor. Aber kann man die Aufgabe lösen? Also ich brache nur Tipps.

Ja, man kann die Aufgabe lösen. Und NAND ist dafür geeignet.

Ich meinte wie ;D


Ist das so richtig?

P | Q ≡ ¬(P Λ Q)



P | Q ≡ ¬(P Λ Q)

Das ist richtig.

Das löst aber die Aufgabe nicht.

Du hast | mittels ¬ und Λ dargestellt.

Du sollst ¬ mittels | darstellen.

Du sollst Λ mittels | darstellen.

Was meinen Sie genau mit "Negation mittels |"?

Du sollst einen Formel \(\varphi(A)\) finden, die äquivalent zu der Formel \(\neg A\) ist, und in der nur der Junktor NAND und die Variable \(A\) vorkommt.

Ich hab viel probiert aber komme leider nicht weiter. Können Sie bitte ein Beispiel zeigen?

Überleg mal was man machen kann, wenn man nur \(A\) und \(|\) zur Verfügung hat. Stelle eine dazu eine Wahrheitstabelle auf.

Jo, ich hab es gemacht, aber es hat mir nicht geholfen. Das Thema ist neu für mich und brauche Zeit bis ich es verstehe.

Aber danke für Ihren Kommenra und Ihre Zeit.

Wie sieht denn deine Wahrheitstabelle von \(A | A\) aus?

Ich habs hinbekommen. Danke

AAP | P
WWF
FFW
WWF
FFW

A | A ~ ¬P

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community