Schaffst du es selber eine Wertetabelle anzulegen
A B │ (A ∧ B) ∧ (¬A ∨ ¬B)
─────┼─────────────────────
1 1 │ 1 *0 0 0 0
1 0 │ 0 *0 0 1 1
0 1 │ 0 *0 1 1 0
0 0 │ 0 *0 1 1 1
Das ist also eine Kontradiktion.
Kannst du das jetzt noch durch Umformungen zeigen.