Aussagenlogik/Implikationsdistribution/Wahrheitstabelle/Aufgabe

Es seien Aussagen. Zeige, dass

eine Tautologie ist.