ich rechne gerade einen Übungszettel und bin mir etwas unsicher was ich bei folgender Aufgabe tun soll.
Ich soll Aussagen auf ihren Wahrheitswert überprüfen, z.B. diese hier:
⌉(A ∧ B) ⇒ ⌉A ∨ B
Was muss ich nun tun? Nehme ich an das A und B grundsätzlich wahre Aussagen sind und gucke ob die Implikation gilt?
Ich würde eher ansetzen, dass ⌉(A ∧ B) ⇒ (⌉A ∨ B) ∨ (A ∨ ⌉B) ∨ (⌉A ∧ ⌉B)
Vielleicht kann mich mal jemand aufklären was ich wirklich machen soll und ob mein Ansatz stimmt, bzw. was da nicht stimmt.