Überprüfen durch Umformung
-
Hallo
ich habe ein kleines Problem
wäre schön wenn mir heute noch jemand helfen kannFolgende Aufgabe:
( A v B ) -> (( NICHT A v B ) /\ ( A -> NICHT A)
(A -> (B -> C)) <-> ( A v
-> C)Durch Wahrheitstabelle habe ich es schon gelöst aber Teil B durch Umformen kann ich nicht.
Wäre wirklich super wenn mir jemand hilft.Brauche Aufg bis morgen.
Alle anderen Teile habe ich schon aber an diesem Teil scheitere ich!Danke
mfg
nue
-
Du brauchst ziemlich sicher die De Morganschen Gesetze für 2.
-
Was ist denn ueberhaupt die Fragestellung?
-
Fragestellung "Überprüfen Sie durch Umformung" und Wahrheitstabelle
Dem Morgan kann nicht sein, ist erst später dran gekommen (glaub ich)
-
Ja, was denn überprüfen? Auf Konsistenz? Gültigkeit?
-
mehr steht nicht da!
also ich denke mal ob die Ausdrücke "stets" wahr sind
-
SG1 schrieb:
Ja, was denn überprüfen? Auf Konsistenz? Gültigkeit?
Hast du dir das mal angesehen? Sowas hat man doch immer auf Tautologie zu überprüfen...
-
Naja, vermutlich schon...
-
1. Implikation zu Disjunktion
~A v ~A
2. Idempotenz
~A v ~A = ~A
3. Absorption
(~A v & ~A = A
4. Implikation zu Disjunktion
(A v -> ~A = (AvB)vA
5. Morgansche Regel
(~A & ~B) v ~A
6. Absorption
= ~Asomit ist bewiesen dass dieser log. Ausdruck keine Tautologie. Die Gesetze solltes du mit googlen findet. Somit sollte der zweite Ausdruck dir keine Probleme bereiten. Wenn nicht wird es wohl schwer mit den Schein werden ;).
-
Wass soll das hier bedeuten ?
(A -> (B -> C)) <-> ( A v -> C)
-
