Von NNF in KNF bringen /umformen

Question

Kann mir jemand helfen folgendes in KNF zubringen?

\( =(A \wedge B) \vee\left(A_{\wedge} D\right) \vee\left(C \wedge\left((A \wedge \neg B) \vee\left(A \wedge D\right)\right) \right) \)

Comments

Mach die eine Tabelle

(16 Zeilen, das geht doch .)  und lies die Werte

ab, wann der Term = 0 ist.