Найти СДНФ путем эквивалентных преобразований

[kirflaer]

Здравствуйте, застопорился с решением данной задачи
$\overline {(AB \to \overline A)(\overline {AB \to \overline B})}C $

$(\overline {(\overline {AB} \vee \overline A)}\vee(\overline {AB} \vee \overline B))C $

$(AB \vee \overline A \vee \overline B)C$

$ABC \vee \overline AC \vee \overline BC$

А вот как дальше не пойму, построил СДНФ по таблице истинности, нужно еще три члена, как дальше не могу разобраться. Заранее благодарю за помощь.

[Maslov]

Попробуйте воспользоваться тем, что $A \equiv AB \lor A \overline B$

[kirflaer]

Да спасибо помогло дошел до
$ ABC \vee \overline ABC \vee \overline A \overline BC \vee A \overline B C \vee C \overline A \vee C \overline B$

Первые 4 как раз СДНФ, а вот как избавиться от двух последних?

[Maslov]

$\overline A C \equiv \overline A B C~\lor~???$

[kirflaer]

Все сделал, разобрался, большое спасибо!