Boolesche Formel in Shannon Normalform

[BlackSpike666]

Hey ho,
muss mich gerade mit BDDs und so rumschlagen und würde gerne wissen wie eine boolesche Formel in die Shannon Normalform konvertiert. Z.B.:

a&b&d|b&c&!d|d&!b|!c&!d := (d?(b?(a?true: false): true): (c?(b?true: false): true))

Kann mir jemand so einfach wie möglich erklären, wie man das berechnet?

Vielen Dank!