Aussagenlogik/Viele Variablen/Aufgabe

Es seien ${}p,q,r,s,t,u$ Aussagenvariablen. Zeige, dass die Aussage

$p\vee {\left(p\rightarrow {\left(r\wedge \neg s\wedge {\left({\left(u\rightarrow p\right)}\vee {\left(q\rightarrow \neg s\right)}\right)}\right)}\right)}$

eine Tautologie ist. Ist eine Wahrheitstabelle hier sinnvoll?

Zur Lösung, Alternative Lösung erstellen