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

[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

[Lapp]

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

Спасибо за совет. Только я ему следовал, когда это мне было нужно, и с тех пор помню наизусть. Ничего нового не придумали..

Да, все действительно прозрачно..
Надеюсь, ты уже решил, пока я тут смотрел свои сериалы ))

[Shmaniche]

Надеюсь, ты уже решил, пока я тут смотрел свои сериалы ))

Увы нет . Я этот пример мучаю две недели.

Посмотрите этот файл. Заметил странность . Исходное выражение: 7 нулей, остальные единицы. Преобразованное: 4 нуля, остальные единицы. Куда подевалось 3 нуля?

Короче, чтобы полученное выражение из файла 3 было равно исходному надо три единицы (после 4-х нулей) обнулить. Какую логическую переменную надо ввести, чтобы это сделать?

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

[Lapp]

Увы нет . Я этот пример мучаю две недели.

Кошмар. Тебе больше заняться нечем? Там же все сразу видно!
Ладно, я разложу по полочкам. Для.. тебя лично )).

Во первых - обозначения.
Сами множества - это большие буквы.
Маленькие буквы - это их отрицания (типа a = not A)
Знак умножения опускаем (как обычно)).
Все, поехали..

Исходное выражение:
A+a(B+C)+(a+D+g)(B+D)(C+d+GH)

Сначала сделаем первые два слагаемых:
A+a(B+C)
=
A(1+B+C)+a(B+C)
=
A+AB+AC+aB+aC
=
A+(AB+aB)+(AC+aC)
=
A+(A+a)B+(A+a)C
=
A+1B+1C
=
A+B+C

Теперь займемся остальным:
(a+D+g)(B+D)(C+d+GH)=
=
((a+D+g)B+(a+D+g)D)(C+d+GH)=
=
(aB+DB+gB+aD+DD+gD)(C+d+GH)=
=
aB(C+d+GH)+DB(C+d+GH)+gB(C+d+GH)+aD(C+d+GH)+DD(C+d+GH)+gD(C+d+GH)=
=
(убираем все слагаемые, где множество и его отрицание входят как множители)
=
aBC +
aBd +
aBGH +
DBC +
DBd + (это)
DBGH +
gBC +
gBd +
gBGH + (это)
aDC + (это)
aDd + (это)
aDGH +
gDC +
gDd + (это)
gDGH (это)
=
(теперь убираем все слагаемые, которые содержат A или B или C как множитель, поскольку они входят в A+B+C)
=
aBC + (это)
aBd + (это)
aBGH + (это)
DBC + (это)
gBC + (это)
gBd + (это)
gDC + (это)
BDGH + (это)
aDGH +
=
aDGH

Теперь объединяем обе части
A+B+C+aDGH

и прибавляем сюда ADGH (это можно, поскольку оно входит в А)
A+B+C+aDGH+ADGH
=
A+B+C+(a+A)DGH
=
A+B+C+1DGH
=
A+B+C+DGH

Все, готово.
Видишь теперь? элементарно. Но писанины много. Глаза лучше справляются при хорошем взгляде на исходное выражение, чем руки с карандашом..

Если что неясно - спрашивай.