Wandle die Formel mit beliebiger Variablenordnung in DNF um: ((c->c)&b&a<->((b<->b)->(b<->d)))&!(a|a&d)

Question

Frage:

Wandle die Formel mit beliebiger Variablenordnung in DNF um: ((c->c)&b&a<->((b<->b)->(b<->d)))&!(a|a&d)

Wie kann ich das umwandeln?