(leicht geänderte Fassung) Man gebe zu folgenden Aussagen je eine logisch äquivalente Alternative an (falls existent) und beweise die Gleichwertigkeit. (Hierbei soll eine Alternative höchstens die logischen Zeichen $\neg ,\vee$ enthalten und $\neg$ höchstens vor $A$ oder $B$ stehen.)

(a)

$\neg \left(\neg A\wedge \neg B\right)$,    (b) $A\to B$,    (c) $\neg \left(A\to B\right).$