Алгебра логики используется при проектировании сигнализации. Пусть руководитель органа внутренних дел формулирует следующие условия работы сигнализации с охраняемого объекта: “желтый световой сигнал у дежурного по объекту включается ночью, если на каком-либо этаже здания, кроме первого этажа появляется человек; если на одном из этих этажей оказываются два человека, то гаснет желтый сигнал и загорается зеленый; если там оказываются три человека, то горят оба сигнала; при появлении на указанных этажах четырех человек горит красный свет; в том случае, когда на этих этажах находится более четырех человек, звучит сирена — сигнал тревоги (можно, например, считать, что в ночное время на эти этажи могут приходить только четыре человека)”.
Исходя из условий задачи, разработчик может считать, что проектируемое устройство имеет один входной сигнал, принимающий шесть значений. Эти значения соответствуют следующим положениям дел:
1-е значение — на втором этаже и выше нет ни одного человека,
2-е значение — на втором этаже и выше один человек,
3-е значение — на втором этаже и выше — 2 человека,
4-е значение — на втором этаже и выше — 3 человека,
5-е значение — на втором этаже и выше — 4 человека,
6-е значение — на втором этаже и выше — более 4 человек.
Представим проектируемое устройство в виде “черного ящика”, имеющею входы и выходы. Его внутреннее устройство нас не интересует. Информацию о числе входов и выходов пусть мы имеем.
Технически реализовать устройство, в котором один вход принимает шесть значений, конечно, возможно, но довольно сложно. Легче создать устройство, в котором, каждый вход принимает по два значения (например, идет электрический ток или нет). В этом случае можно использовать алгебру логики.
Сколько входов, каждый из которых имеет одно из двух значений, должно иметь устройство, реагирующее на шесть положений дел?
Один вход может отразить два положения дел, два входа — четыре положения дел, три — восемь положений дел. Итак, проектируемое устройство имеет три входа =
1 1 1
1 1 0
1 0 1
1 0 0
0 1 1
0 1 0
0 0 1
0 0 0
Пусть, далее, положения дел сопоставлены значениям входных сигналов так: набор значений 000 — “на этажах 0 человек”, 111— “один человек”, 110 — “два человека”, 101 — “три человека”, 100 — “четыре человека”, 011 — “более четырех человек”.
Устройство выдает четыре двоичных сигнала —
Затем покажем, как зависят значения выходных сигналов от значений входных сигналов. Рассмотрим набор значений входных сигналов 000. При этом наборе, когда на указанных этажах люди отсутствуют, все выходные сигналы имеют значение 0. При наборе значений 111 входных сигналов (один человек на этажах)
ВХОДЫ ВЫХОДЫ
1 чел. 1 1 1 1 0 0 0
2 чел. 1 1 0 0 1 0 0
3 чел. 1 0 1 1 1 0 0
4 чел. 1 0 0 1 1 1 1
более 4-х чел. 0 1 1 1 1 1 1
0 1 0
0 0 1
0 чел. 0 0 0 0 0 0 0
1 |
Запись условия работы сигнализации в виде такой таблицы позволяет устранить неполноту условий.
Условия работы сигнализации можно упростить и проанализировать с помощью алгебры логики.
Выберем строки таблицы, в которых
_ _ _ _