次の論理関数をカルノー図を用いて簡単化せよ
f(a, b, c, d) = ((a・¬b + c・¬d) + ¬a・¬b・c・d)・(b・¬c・¬d + ¬a・¬b・¬c・d) + ¬(a・b・d) + (¬b + c + ¬d)・(a + ¬d)

このような長い式が与えられているのですが、式をどのように変形すればよいのでしょうか？
式が主加法標準形(または主乗法標準形)であるか、真理値表が書ければカルノー図を用いることができるのですが