Элементы вычислительной техники. Марков Б.Г. - 47 стр.

                                                             47
    Схема лестничного освещения. Рассмотрим освещение лестницы
трехэтажного дома. Аналогично коридорному освещению, на каждом
этаже имеется выключатель, с помощью которого можно включить
свет, входя в подъезд или выходя из квартиры, и выключать его
поднявшись по лестнице на свой этаж. Как и в коридорном
освещении, состояние лампы обозначим функцией у. Если лампа
горит, то у=1, если погашена, то у=0. Три выключателя обозначим
буквами А, В, С. Таблица истинности для этого устройства будет
иметь вид:
№    А   В   С     у                   Комментарии
1    0   0   0     0   Все выключатели включены, свет не горит
2    1   0   0     1   Выключен тумблер этажа А, свет горит
3    0   1   0     1   Выключен тумблер этажа В, свет горит
4    0   0   1     1   Выключен тумблер этажа С, свет горит
5    1   1   0     0   Выключены тумблеры А и В, свет не горит
6    0   1   1     0   Выключены тумблеры В и С, свет не горит
7    1   0   1     0   Выключены тумблеры А и С, свет не горит
8    1   1   1     1   Выключены все тумблеры, свет горит

    Первая строчка таблицы истинности – это исходное состояние.
Все тумблеры находятся в одинаковом состоянии (включены), свет
не горит. 2, 3 и 4 строчки соответствуют переключению тумблера на
одном из этажей. Свет зажигается. В пятой строчке жилец вошел на
этаж А, зажег свет, затем поднялся на этаж В и погасил свет.
Аналогичная ситуация в строчках 6 и 7. В 8 строчке, дополнительно к
предшествующей ситуации, переключен еще один тумблер. Свет
зажегся. Структурная формула, записанная в первой стандартной
форме выглядит так:
                 y = A ⋅ B ⋅ C + A ⋅ B ⋅ C + A ⋅ B ⋅ C + A ⋅ B ⋅ C. .
    Необходимо минимизировать это уравнение. Структур типа
( x + x ) выделить не удается. Зато можно выделить функции
равнозначности и неравнозначности: