Написать логическое выражение для схемы, Простенькая схема... Опции

[MadDavil]

Здравствуйте, форумчане!
Помогите, пожалуйста, написать логическое выражение для логической схемы.
Изображение в прикрепленных файлах. Заранее спасибо!



Сообщение отредактировано: MadDavil - 15.12.2008 7:09

[volvo]

Неа ((

Надо объединить все единицы минимальным числом максимальных по площади прямоугольников, не содержащих нулей (прямоугольники должны закрывать только единичные клетки)... Причем прямоугольники могут пересекаться, это неважно, главное - чтобы не закрылись нули, и чтобы были закрыты все единицы.

В первом случае (слева) все получается более чем очевидно: большой прямоугольник в середине (обрати внимание, все значения, лежащие в этом прямоугольнике - при X3 = True, значит, так и пишем в результат: первое слагаемое: X3. Икс-три, в смысле ), и квадрат чуть поменьше, внизу слева (этот квадрат содержит значения, соответствующие X1 = False и X2 = False, чтобы это увидеть надо смотреть на красные линии с названиями входных сигналов, линия X3 закрывает только часть квадрата, X4 - тоже, а вот X1 и X2 вообще не "пересекают" границ квадрата. Значит, второе слагаемое - ((not X1) and (not X2)) ). А теперь "складываем" их:
X3 or ((not X1) and (not X2))

Для Y2 получается еще лучше, получаются 2 больших прямоугольника, если учесть что левую границу карты Карно можно совмещаться с правой, а верхнюю - с нижней. Т.е., можно "свернуть" эту плоскую карту в цилиндр... Отсюда и результат: (not X4) or (not X3)

P.S. Перечитал пост - сам бы наверное не разобрался, если б не умел это делать...

Сообщение отредактировано: volvo - 15.12.2008 19:25

[MadDavil]

Надо объединить все единицы минимальным числом максимальных по площади прямоугольников, не содержащих нулей (прямоугольники должны закрывать только единичные клетки)... Причем прямоугольники могут пересекаться, это неважно, главное - чтобы не закрылись нули, и чтобы были закрыты все единицы.

В первом случае (слева) все получается более чем очевидно: большой прямоугольник в середине (обрати внимание, все значения, лежащие в этом прямоугольнике - при X3 = True, значит, так и пишем в результат: первое слагаемое: X3. Икс-три, в смысле ), и квадрат чуть поменьше, внизу слева (этот квадрат содержит значения, соответствующие X1 = False и X2 = False, чтобы это увидеть надо смотреть на красные линии с названиями входных сигналов, линия X3 закрывает только часть квадрата, X4 - тоже, а вот X1 и X2 вообще не "пересекают" границ квадрата. Значит, второе слагаемое - ((not X1) and (not X2)) ). А теперь "складываем" их:
X3 or ((not X1) and (not X2))

Для Y2 получается еще лучше, получаются 2 больших прямоугольника, если учесть что левую границу карты Карно можно совмещаться с правой, а верхнюю - с нижней. Т.е., можно "свернуть" эту плоскую карту в цилиндр... Отсюда и результат: (not X4) or (not X3)

P.S. Перечитал пост - сам бы наверное не разобрался, если б не умел это делать...

P.S. Перечитал пост - сам бы наверное не разобрался, если б не умел это делать...

Я вроде бы понял...

Спасибо, дружище!!!
У меня еще пару дней есть, буду сидеть разбираться, ведь защищать то надо
А какие книги посоветуешь по этому?

Сообщение отредактировано: MadDavil - 15.12.2008 20:47