Схемы переключателей

Релейно-контактные схемы (или переключательные схемы) широко используются в технике автоматического управления.

Под переключательной схемой понимают схематическое изображение некоторого устройства, состоящее из следующих элементов:

1) переключателей (ключей);

2) соединяющих их проводников;

3) входов в схему и выходов из нее (полюсов).

Простейшая схема содержит один переключатель Р и имеет один вход и один выход. Переключателю Р ставится в соответствие истинное высказывание Р, гласящее «переключатель Р замкнут».

Переключателю ставится в соответствие истинное высказывание: «переключатель Р разомкнут» или «переключатель замкнут».

Таким образом, когда Р замкнут, – разомкнут и наоборот.

Если высказывание Р истинно, то переключатель Р замкнут – схема пропускает ток, если ложно – не пропускает. Следовательно, любому высказыванию может быть поставлена в соответствие переключательная схема с двумя полюсами (двухполюсная схема).

Конъюнкции высказываний А и В соответствует последовательное соединение переключателей А и В:

Дизъюнкции высказываний А и В соответствует параллельное соединение переключателей А и В:

Так как любая формула логики высказываний может быть записана в виде ДНФ или КНФ, то ясно, что любой формуле можно сопоставить схему переключателей. Причем, упрощение формулы ведет к упрощению схемы.

Пример.

Имеется длинный коридор (или высокая башня) во всей длине которого установлены светильники. На обоих концах коридора установлены выключатели. Как они должны быть устроены, чтобы можно было включить свет на одном конце коридора, и, пройдя коридор, выключить свет на другом его конце. Построить схему переключателей.

Итак, переключателей должно быть два. Пусть, например, свет не горит, и оба переключателя разомкнуты. Тогда, переключатель А замыкается, свет горит. Коридор пройден, переключатель В замыкается, свет не горит. Оба переключателя замкнуты – свет не горит. И наоборот.

Составим таблицу истинности.

Построим СДНФ данной логической функции.

.

Соответствующая схема переключателей имеет вид: