Математическая логика

[sp1d3r]

Построить кнф днф скнф сднф следующей формулы правильно расставив скобки:
$B+\overline{C}\to \overline{A*\overline{B}\to C}+B*\overline{C}$

$(B+\overline{C})\to( (\overline{(A*\overline{B})\to C})+(B*\overline{C}))$=$\overline{B+\overline{C}}+( (\overline{(A*\overline{B})\to C})+(B*\overline{C}))$=$\overline{B}*C+((\overline{\overline{A*\overline{B}}+C})+B*\overline{C})$=$\overline{B}*C+(((\overline{\overline{A}+B})*\overline{C})+B*\overline{C})$=$\overline{B}*C+A*\overline{B}*\overline{C}+B*\overline{C}$

Не знаю как дальше преобразовать помогите

[Chifu]

А по какому правилу стрелка влево преобразовалась в плюс?
Проверте: $F(A,B,C)=(0,1,1,0,1,1,1,0)$
СДНФ: $\overline{A}*\overline{B}*C+\overline{A}*B*\overline{C}+A*\overline{B}*\overline{C}+A*\overline{B}*C+A*B*\overline{C}$
СКНФ: $(A+B+C)*(A+\overline{B}+\overline{C})*(\overline{A}+\overline{B}+\overline{C})$
ДНФ: $A*\overline{B}+B*\overline{C}+\overline{B}*C$ или $A*\overline{C}+B*\overline{C}+\overline{B}*C$
КНФ: $(A+B+C)*(\overline{B}+\overline{C})$