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

[Shmaniche]

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

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

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

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

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

[Lapp]

В принципе, тут же все видно невооруженным глазом..
Я не вполне понял, что ты называешь левыми/правыми/средними частями, но первые два слагаемых это просто в натуре первые три из ответа. Остальное тоже смахивает на правду, учитывая наличе B во втором..
А что, вычитания в природе пока нет? не выросло?.. Впрочем, я еще не смотрел файл с законами - мож и есть..

[Shmaniche]

В принципе, тут же все видно невооруженным глазом..

А я вот не вижу. 15 подобных примеров упростил, а этот никак.

Я не вполне понял, что ты называешь левыми/правыми/средними частями

Это я для удобства обозначил

А что, вычитания в природе пока нет? не выросло?.. Впрочем, я еще не смотрел файл с законами - мож и есть..

Вчитайся, там все просто

Прикрепил еще один вариант решения.

PS: Ответ задачи указан верно. Это проверяеся по таблице истинности. Таблицу можно составить в программе
Logi Table

Сообщение отредактировано: Shmaniche - 10.06.2010 10:56