Hi !

Ich lerne gerade Aussagenlogik und habe eine Frage zum vereinfachen dieses Beispiels:
(AB)  (A  B)

Vereinfacht kommt hier "A" raus.
Mit einer Warheitstabelle erschließt es sich mir, nur würde ich es gern Schritt für Schritt mit den entsprechenden Umformungsregeln lösen.
Wie wäre hier das Vorgehen dafür, bzw. welche Regeln würde man anwenden ? 



A∨ ⌉B)∨ (A∨⌉(A∨B)