Контактные схемы
Из того небольшого знакомства с логикой высказываний, видно, что она представляет собой нечто аналогичное буквенной алгебре. Эту логику называют алгеброй Буля, который внёс значительный вклад в развитие математической логики. Значение истинности (1 или 0) сложного высказывания зависит от значений истинности простых высказываний и логических операций над ними, которые в обыденной речи называют логическими связками. Так же, как и высказывание, которое в двузначной логике имеет два значения истинности, либо (1), либо (0), контактный выключатель может находиться в двух состояниях: включён (1), выключен (0), т.е. между высказываниями и состояниями выключателей устанавливается взаимно однозначное соответствие. Это обстоятельство позволяет моделировать составные высказывания соответствующими электрическими цепями и, наоборот, с помощью алгебры высказываний конструировать сложные контактные схемы, удовлетворяющие наперед заданным условиям. При этом под суммой участков цепи с контактными выключателями понимают их параллельное соединение, а под произведением ‒ последовательное соединение. Об устройстве Устройством такого рода является стенной переключатель, который в горизонтальном положении проводит ток в горизонтальном направлений, а в вертикальном положений проводит ток в вертикальном направлении.
|
, которое проводит ток тогда и только тогда, когда устройство А тока не проводит, будем говорить, что оно реализует отрицание устройства А. Устройства, реализующие отрицание, являются довольно сложными по сравнению с теми, которые реализуют сложение (дизъюнкцию) или умножение (конъюнкцию) участков цепи.
