Помогите упростить логическое выражение, Законы алгебры логики Опции

[Shmanich]

A + notA & (B+C) + (not A + D + not G) & (B+D) & (C + notD + G&H)

"+" - логическое сложение.

"&" - логическое умножение.

"not" - отрицание

Для решения понадобится основные законы алгебры логкики (прикрепил).
Также прикрепил файл, в котором я писал решить это чудо, Расписал некоторые свои мысли.
Бъюсь над ним уже две недели. .

[volvo]

"Надо выйти на ответ..." Может, и надо, а не получится. Минимизация картой Карно дает
A + notA(B+C) + DGH
, что никак не равно тому, что ты хочешь получить... Карты Карно редко ошибаются

[Lapp]

"Надо выйти на ответ..." Может, и надо, а не получится. Минимизация картой Карно дает
A + notA(B+C) + DGH
, что никак не равно тому, что ты хочешь получить... Карты Карно редко ошибаются

Стоп, стоп, стоп... но это же оно и есть )

A+\A(B+C) sure is A+B+C

она просто не доработала до конца ))