Aussagenlogik "oder" darstellen nur mit "und"

Neue Frage »

Nandi Auf diesen Beitrag antworten »
Aussagenlogik "oder" darstellen nur mit "und"
Hallo,

Ich soll die Aussagen "Nicht","und", "oder" und "wenn dann(Implikation)" darstellen
mit einem neuen eingeführten Zeichen. Das Zeichen A Herz B bedeutet -A und -B hab ich schon herausgefunden.

-A: A Herz A
AundB: (A Herz A) Herz (B Herz B)

Hab ich schon herausgefunden. Aber jetzt hänge ich bei oder.
Wie kann ich Oder darstellen wenn ich nur und benutzen darf? (Nicht darf ich ja auch nicht verwenden..)


A=>B könnte ich dann mit -AoderB lösen..

Wäre über Hilfe dankbar! :-)
Seppel09 Auf diesen Beitrag antworten »
RE: Aussagenlogik "oder" darstellen nur mit "und"
Da musst du die Aufgabenstellung falsch verstanden haben.

Es gibt ja schließlich Und- und Oder- Aussagen, weil man sie in einer Wahrheitstabelle nicht austauschen kann oder sie durch andere Kombinationen hinschreiben kann.

Und/ Oder sind die Grundlagen, auf denen die Aussagelogik aufbaut
Pascal95 Auf diesen Beitrag antworten »

Naja, mit dem Shefferstrich kann man auch und,oder,... ausdrücken.
Nandi Auf diesen Beitrag antworten »

Aber durch die Gesetze von de Morgan gehts doch auch?
Und da man mit Herz auch "nicht" machen kann muss es doch irgendwie gehn dadurch das "und" rumzudrehen zu "oder"?
Nandi Auf diesen Beitrag antworten »

Die Aufgabe kann man hier angucken:
Übungsblatt GBI
Pascal95 Auf diesen Beitrag antworten »

Schau dir mal an Augenzwinkern
 
 
Nandi Auf diesen Beitrag antworten »

ohman danke :-D
Wie leicht^^ hab aber gar nimmer die eigentliche Spalte von A Herz B angeguckt..

Meine Lösungen(kann leider noch kein Latex deswegen mach ichs hier 0815) :-) :
-A<=>A herz A
A und B <=> (A herz A)herz(B herz B)
A oder B <=> (A herz B) herz (A herz B)
A=>B <=> ((A herz A) herz B) herz ((A herz A) herz B)

keine Garantie aber vllt hilft es jemand der das gleiche Problem hat :-)
Pascal95 Auf diesen Beitrag antworten »

Ja, das ist es.

Wenn du im Antwort-Feld auf drückst, kannst du den Code eingeben.
Diesen kannst du mit dem Formeleditor erstellen.
Neue Frage »
Antworten »



Verwandte Themen

Die Beliebtesten »
Die Größten »
Die Neuesten »