Es seien \( A \) und \( B \) aussagenlogische Ausdrücke über derselben Variablenmenge. Ordnen Sie die folgenden Ausdrücke in einer solchen Reihenfolge an, dass jeder Ausdruck, die unter ihm folgenden impliziert:
\( A \vee B \)
\( A \Rightarrow(\neg A \Rightarrow B) \)
\( \neg A \wedge B \)
\( \neg A \Leftrightarrow B \)