Мат. Логика

Задача:
С помощью совершенной ДНФ найти возможные гипотезы для формулы:
((А --> ((B --> C) --> (C -->D))) --> ((A --> (B--> C)) --> (A--> (C--> D))))да