Koniunkcyjna postać normalna

[jukaka]

Następujący wzór:
\(\displaystyle{ \neg (A \vee B) \Rightarrow (C \Rightarrow D)}\)
muszę przekształcić na koniunkcyjną postać normalną. Próbowałam już wielokrotnie, ale za każdym razem coś mi nie wychodzi.
Jako pierwszy krok przekształcenia zapisalabym: \(\displaystyle{ (A \vee B) \vee (\neg C \vee D)}\)
Ale w kolejnych krokach już się trochę gubię...

Z góry dziękuję za pomoc i pozdrawiam!

[Jan Kraszewski]

Jako pierwszy krok przekształcenia zapisalabym: \(\displaystyle{ (A \vee B) \vee (\neg C \vee D)}\)

To w zasadzie już jest koniunkcyjna postać normalna, zmaż tylko niepotrzebne nawiasy.

JK