Mathematik online lernen im Mathe-Forum. Nachhilfe online
Startseite » Forum » Logik, Propositional Logic

Logik, Propositional Logic

Universität / Fachhochschule

Sonstiges

Tags: Laws, Logic, Propositions

 
Antworten Neue Frage stellen Im Forum suchen
Neue Frage
Van11

Van11 aktiv_icon

16:29 Uhr, 29.11.2011

Antworten
Using the laws of propositional logic, reduce each of
the following propositional formulas to a logically equivalent formula with the
least number of connectives. Indicate which law you use at each reduction step.

4. (((p ν q) Λ (r ν ¬q)) → (p ν r))

Für alle, die mir helfen möchten (automatisch von OnlineMathe generiert):
"Ich möchte die Lösung in Zusammenarbeit mit anderen erstellen."
Online-Nachhilfe in Mathematik
Antwort
hagman

hagman aktiv_icon

17:02 Uhr, 29.11.2011

Antworten
Es handelt sich um eine Tautologie, kann also ganz ohne connectives geschrieben werden: true
Wie man das schrittweise herleitet, ist eine andere Sache. Im Zweifelsfall sollte zum Beispiel der Umweg über disjunktive Normalform gehen.
Diese Frage wurde automatisch geschlossen, da der Fragesteller kein Interesse mehr an der Frage gezeigt hat.