Элементы автоматики: Лабораторный практикум по дисциплине «Теоретические основы автоматики и телемеханики», страница 11

Операция «дизъюнкция» (ИЛИ) обозначается символом V (первая буква союза «или то или другое» латинского языка). Условное обозначение элемента, реализующего функцию f=а \/ б, представлено на рисунке 2, 6.

Рисунок 2 - Обозначения элементов, реализующих основные

логические функции

Данная функция приобретает значение 1, если хотя бы одно из слагаемых равно 1,    т. е. цепь замыкается, когда хотя бы один из контактов замкнут.

Операция «отрицание» (НЕ) обозначается чертой над аргументом. Аргумент   будет равен 0, когда a равно 1, и равен 1, когда a равно 0. Условное обозначение элемента, реализующего функцию отрицания, представлено на рисунке 2, в. В контактных схемах операция отрицания, отнесенная к контакту реле, означает замену замыкающего контакта на размыкающий и наоборот.

Введенные символы и логические операции позволяют релейно-контактную схему отобразить структурной формулой.

Построение релейно-контактной схемы по заданной структурной формуле осуществляется следующим образом.  В схеме контакты реле включаются последовательно, если они согласно структурной формуле должны выполнять операцию логического умножения, и параллельно - при выполнении операции логического сложения.

В качестве примера рассмотрим следующую структурную формулу:

         

При наличии отрицания (черты) над суммой или произведением каких-либо двух слагаемых следует преобразовать заданную формулу с учетом соотношений (13) и (14), приведенных ниже. Тогда

                    

Релейно-контактная схема, соответствующая рассматриваемой структурной формуле, приведена на рисунке 3.

 1.2 Упрощение (минимизация) структурной формулы.

Для упрощения структурных формул необходимо учитывать основные законы и соотношения алгебры логики.

Соотношения, согласующиеся с правилами обычной алгебры:

                                                      х \/ 0 = х;

                   x × 0 = 0;

                   х · 1 = х;

                   x \/ у = у \/ x;

               х · у = у · х;

                   x × (у · z) = (х × у)  z;

                   x \/ (у \/ z) = (х \/ у) \/ z;

                                                      x (y \/ z) = x × y \/ x × z;

Соотношения, не имеющие эквивалентов в обычной алгебре:

                        x \/ 1 = 1;                                                             (1)

                        x \/ х = х;                                                             (2)

                        х · х = х;                                                              (3)

        х \/  (х · у) = х;                                                    (4)

        х · (х \/ у) = (х·х) \/ (х · у) = x \/ (х · у) = x;         (5)

       (х \/ у)(х \/ z) = х \/ yz;                                          (6)

        х \/  = 1;                                                           (7)

                     

 Рисунок 3 - Релейно-контактная схема, соответствующая формуле

                 

   х · = 0;                                                             (8)

                       (х \/ у)(х \/ ) = х;                                               (9)

                       (х· у) \/ (х ·) = х;                                              (10)

                       (х · ) \/ у = х \/ у;                                              (11)

                       (х \/ ) у = ху;                                                    (12)

                       () =;                                                (13)

                                                               (14)

Различные конъюнкции, входящие в состав формулы, объединяют в группы, содержащие общие элементы, и выносят эти элементы за скобки; указанные операции полезно производить с таким расчетом, чтобы в скобках оставались выражения вида а \/ =1

либо выражения, к которым могут быть применены различного рода соотношения.