Es ist die Implikation "Wenn \(A\) falsch, dann \(B\)". Diese Implikation ist also wahr, wenn \(A\) wahr ist oder wenn \(A\) falsch und \(B\) wahr ist. Am besten, du machst dir für solche Aufgaben eine Wahrheitstabelle, in der du Schritt für Schritt die einzelnen Schritte nachvollziehst.

\(\begin{array}{c|c|c|c}A&B& \neg A&\neg A\Rightarrow B\\\hline w&w&f&w\\w&f&f&w\\f&w&w&w\\f&f&w&f\end{array}\).

Für die Implikation betrachtest du dann immer nur die dritte und zweite Spalte und überprüfst in jeder Zeile, ob die Implikation bei diesen Wahrheitswerten wahr ist. In der ersten Zeile hast du zum Beispiel \(f\Rightarrow w\), was wahr ist.

Nach dem Ansatz "Aus Falschem folgt Beliebiges", wäre der Ausdruck \(\neg A \implies B\) äquivalent zum Ausdruck \(A \lor B\).
Also \((\neg A \implies B) \iff (A \lor B)\)

Die Nagation dessen lässt sich nun wieder leicht mittels der DeMorgan'schen Regeln umformen.

\(\neg(A \lor B) \iff \neg A \land \neg B\)

LG