Привести формулы к ДНФ и КНФ

[zns]

Добрый день. Помогите, пожалуйста, разобраться в задаче:
Привести формулы к ДНФ и КНФ при помощи равносильных преобразований:
$ (A \cdot B \Rightarrow C) \Rightarrow ( \neg B \Leftrightarrow C) $
1. Выражаю все логические операции в формуле через дизъюнкцию, конъюнкцию
$ ( \overline{A \wedge B } \vee C) \Rightarrow( \bar{B} \wedge C) \vee(B \bar{C})= \overline{( \overline{A \wedge B } \vee C) } \vee ( \bar{B} \wedge C) \vee(B \bar{C}) $
Применяю закон Де-Моргана:
$A \wedge B \wedge \bar{C} \vee \bar{B } \wedge C \vee B \wedge \bar{C} $ или $AB \bar{C} \vee \bar{B}C \vee B \bar{C} $ - это ДНф
Вроде бы все правильно, а вот как перейти к КНФ не могу сообразить

[Mihr]

Используйте несколько раз второй закон дистрибутивности.

[zns]

Спасибо