Prüfen, welche der Aussagen Tautologien sind: Bsp. [A∧ (B ∨ ( ¬A))] ∨ (¬B ∨ ¬A)

Question

Aufgabe: Überprüfen ob folgende Aussagen Tautologien sind

[A∧ (B ∨ ( ¬A))] ∨ (¬B ∨ ¬A)

Problem/Ansatz:

Ich weiß leider überhaupt nicht wie ich bei der Aufgabe vorgehen soll.. Selbst umformen macht es nicht einfacher.

Answer 1

[A∧ (B ∨ ( ¬A))] ⇔ A ∧ B

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