Контактные схемы

Из того небольшого знакомства с логикой высказываний, видно, что она представляет собой нечто аналогичное буквенной алгебре. Эту логику называют алгеброй Буля, который внёс зна­чительный вклад в развитие математической логики. Значение ис­тинности (1 или 0) сложного высказывания зависит от значений истинности простых высказываний и логических операций над ними, которые в обыденной речи называют логическими связками.

Так же, как и высказывание, которое в двузначной логике имеет два значения истинности, либо (1), либо (0), контактный вы­ключатель может находиться в двух состояниях: включён (1), вы­ключен (0), т.е. между высказываниями и состояниями выключателей устанавливается взаимно однозначное соответствие. Это обстоятельство позволяет моделировать составные высказывания соответствующими электрическими цепями и, наоборот, с помощью алгебры высказываний конструировать сложные контактные схемы, удовлетворяющие наперед заданным условиям.

При этом под суммой участков цепи с контактными выключателями понимают их параллельное соединение, а под произведением ‒ последовательное соединение.

Об устройстве , которое проводит ток тогда и только тогда, когда устройство А тока не проводит, будем говорить, что оно реализует отрицание устройства А. Устройства, реализующие отрицание, являются довольно сложными по сравнению с теми, которые реализуют сложение (дизъюнкцию) или умножение (конъюнкцию) участков цепи.

Устройством такого рода является стенной переключатель, который в горизонтальном положении проводит ток в горизонтальном направлений, а в вертикальном положений проводит ток в вертикальном направлении.