0 Daumen
680 Aufrufe

Aufgabe:

(¬B → (A ∧ C)) → ((¬A ∨ B ∨ ¬C) → B)

Kann mir hier wer helfen die Umformung so zu machen, das man sieht, ob es eine Tautologie oder Kontradiktion ist?

Hab jetzt

(¬B ∧ ¬A ∨ ¬C)) ∨ ((A ∧ ¬B ∧ C) ∨ B)

bin mir aber nicht sicher, ob das korrekt umgeformt wurde.

Avatar von

1 Antwort

+1 Daumen
 
Beste Antwort

(¬B → (A ∧ C))  ⇔  (A ∧ C) ∨ B

((¬A ∨ B ∨ ¬C) → B)  ist wahr genau dann wenn entweder B wahr ist, oder A und C: 
(¬A ∨ ¬C) → B   ⇔   ¬(A ∧ C) → B   ⇔   ¬(¬(A ∧ C)) ∨ B   ⇔  (A ∧ C) ∨ B

Ist also allgemeingültig.

Avatar von 13 k

Danke für die Antwort, aber wo ist das B hin?

Beim oberen oder unterem?

beim unterem

Die erste Umformung ist mit den De Morganschen Regeln.

Dann gilt: A ⇒ B    ⇔    ¬A ∨ B

Somit „entfällt“ das B bzw. die Implikation.

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community