СХЕМА КОНТАКТНАЯ

— схема релейноконтактная, которая содержит одни только контакты и не содержит ни внешних элементов (ручных или автоматических переключателей, кнопок включения и т. п.), ни обмоток реле. Условия, при которых такая схема выдает значение «0» или «1» на выходах, можно описать системой ф-л алгебры логики — для каждой пары: «входной полюс — выходной полюс» по одной ф-ле.

Мостиковая контактная схема.

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

Напр., для полюсов схемы, поданной на рис., получают следующую ф-лу:

Считают, что все одинаковые буквы в С. к. одновременно принимают одно и то же значение (или «0», или «1»), при этом, если , то и, наоборот, если , то .

Каждой ф-ле алгебры логики F, построенной при помощи операций можно также сопоставить С. к. с одним входным и одним выходным полюсами, в которой значение выхода равно «1» в том (и только в том) случае, когда F истинна. По заданной ф-ле F эта С. к. может быть построена следующим способом. Каждой букве х ф-лы F сопоставляется замыкающий контакт х схемы, а букве х ф-лы F - размыкающий контакт х схемы. Конъюнкции подформул ф-лы F сопоставляется последовательное соединение соответствующих им подсхем, дизъюнкции — параллельное соединение.

Полученная таким образом схема будет иметь вид параллельно-последовательного соединения контактов (П-схема). Она содержит столько контактов, сколько имеется букв в ф-ле F и, следовательно, миним. формулам алгебры логики соответствуют П-схемы с миним. количеством контактов. Классом П-схем не исчерпываются, однако, все С. к. На рис. изображена т. н. мостиковая схема (Н-схема). Такого прямого соответствия между Н-схема-ми и формулами алгебры логики, как это имеет место для П-схем, не существует. В связи с этим методы синтеза Н-схем более сложны, чем методы синтеза П-схем, но зато Н-схемы более экономичны (требуют меньшего количества контактов), чем П-схемы. См. также Релейно-контактных схем теория.

Лит.: Яблонский С. Б. Функциональные построения в -значной логике. «Труды Математического института им. Б. А. Стеклова АН СССР», 1958, т. 51.

М. И. Кратко.