Logische Umformung Aussagen

Neue Frage »

danilani Auf diesen Beitrag antworten »
Logische Umformung Aussagen
Meine Frage:
Beweise die logischen Äquivalenz durch Umformung
(¬p?q) ? (p?¬q?s) ? (¬q?r?s) = (qverwirrt (p?r)?s)) ? (¬p?¬q)

Meine Ideen:
Hallo ich bin gerad dabei Aussagenlogik zu verstehen und zu lernen. Und wollte die oben gestellte Frage lösen hier ist mein Ansatz:

Anfang: (¬p?q) ? (p?¬q?s) ? (¬q?r?s)

mit Distributivgesetz komme ich dann auf

(¬p?q) ? (¬q?s ? (p ? r))

nun stelle ich noch um

(¬p?q) ? (¬q ? (p ? r) ?s)

= (¬q ? (p ? r) ?s) ? (¬p?q)

und nun weis ich nicht mehr weiter ^^

welche Regel sollte ich nun verwenden um auf:

(qverwirrt (p?r)?s)) ? (¬p?¬q)

zu kommen?
Kann ja nicht mehr viel sein die Aussagen sind ja fast identisch:

(¬q ? (p ? r) ?s) ? (¬p?q) -> So weit bin ich gekommen

(qverwirrt (p?r)?s)) ? (¬p?¬q) -> Hier muss ich hin

Kann mir einer hier vielleicht ein Schubser in die richtige Richtung geben
Math1986 Auf diesen Beitrag antworten »
RE: Logische Umformung Aussagen
Bitte stelle diese Aussagen in lesbarer Form dar, hier ist geschlossen.
Neue Frage »
Antworten »



Verwandte Themen

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