Застосування алгебри логіки до теорії релейно-контактних схем.

Паралельні та послідовні з’єднання розмикаючих і замикаючих контактів називається релейно контактною схемою(РКС).

Є два типи контактів замикаючий і розмикаючий. Перший – контакт, який проводить струм коли його натискають, розмикаючий контакт, навпаки, проводить струм у не натиснутому стані.

ненатиснуті контакти

замикаючий (зараз схема розімкнута)

розмикаючий (зараз схема зімкнута)

натиснуті контакти

замикаючий (зараз схема зімкнута)

розмикаючий (зараз схема розімкнута)

Але ми надалі будемо позначати їх так:

замикаючий контакт

розмикаючий контакт

послідовне з’єднання

паралельне з’єднання

Замикаючі контакти позначаємо Х, а розмикаючі , тобто в тому положенні, в якому вони пропускають струм.

Розглянемо таку просту РКС.

Зауважимо, що перемикачі Х і не пропускають струм одночасно. Дана РКС проводить струм коли хоча б один з контактів Х або замкнутий і одночасно замкнутий хоча б один з контактів Z або . Для отриманого висловлення(попереднього речення) будуємо схему, яка матиме вигляд:

У правій частині маємо рівносильну формулу, за якою можна скласти РКС, яка буде з’єднаною тоді і тільки тоді коли буде з’єднаною дана РКС.

Дуже часто доводиться мати справу з великими і громіздкими РКС, які потрібно спростити. Для цього складають логічну формулу, яка відповідає цій РКС, знаходять ДДНФ цієї формули і мінімізують її методом склеювання або за допомогою карт Карно. За мінімізованою ДДНФ будуємо нову РКС, яка зазвичай має менше перемикачів, ніж початкова.

„Те, що написано на початку цього розділу – безсовісна брехня”

[1] Наведене означення, як і ряд інших, не є строгим означенням, однак сподіваюся, що воно буде зрозумілим читачу.