Drücke zuerst \(\lnot A\) mit \(\barwedge\) aus. Da hier nur eine Variable \(A\) auftaucht, kannst Du das leicht durch herumprobieren finden (Wahrheitstabelle!). Dann drücke \(\wedge\) durch \(\barwedge\) aus, indem Du die Definition von \(\barwedge\) und das erste Ergebnis verwendest. Und schließlich gilt mit de Morgan \(A\vee B\Leftrightarrow\lnot\lnot(A\vee B)\Leftrightarrow\lnot(\lnot A\wedge\lnot B)\). Hier verwendest Du wieder die Definition von \(\barwedge\) und das erste Ergebnis.
Lehrer/Professor, Punkte: 4K