Разработать систему логического управления (СЛК) воображаемым технологическим процессом. Были сформулированы следующие алгоритмы работы проектируемой

Разработать систему логического управления (СЛК) воображаемым технологическим процессом. Были сформулированы следующие алгоритмы работы проектируемой СЛК. Исполнительные элементы: асинхронный двигатель Д и маломощная сигнальная лампа низкого напряжения ЛН. Приемные элементы, вырабатывающие дискретные сигналы, подключенные к катушек электромагнитных реле А, В, С, D, E, F установленных на входах СЛК и имеющих достаточное количество замыкающих и размыкающих контактов синтеза самого логического блока.

Имеем 6 логических переменных A, B, C, D, E, F, определяющих работу схемы управления асинхронным двигателем Д и сигнальной лампой низкого напряжения ЛН.
Условия срабатывания для асинхронного двигателя можно записать в виде двоичного набора, определяющего значения дискретных сигналов на приемных элементах. В этом случае обозначения сигналов мы рассматриваем как значения булевых переменных A, B, C, D, E, F . Аналогично, мы рассматриваем Д как обозначение булевой функции.
Первое условие для срабатывания двигателя (001011) состоит в необходимости срабатывания сигналов C, E, F и несрабатывания сигналов A, B, D. Второе условие представлено вектором (0,0,1,1,0,1), а третье условие представлено вектором (0,1,1,1,0,0).
Таким образом, условие срабатывания двигателя можем записать в виде дизъюнктивной нормальной формы (ДНФ):
Д=ABCDEF⋁ABCDEF⋁ABCDEF.
Для упрощения полученного выражения, вынесем AC за скобки

. Аналогично, мы рассматриваем Д как обозначение булевой функции.
Первое условие для срабатывания двигателя (001011) состоит в необходимости срабатывания сигналов C, E, F и несрабатывания сигналов A, B, D. Второе условие представлено вектором (0,0,1,1,0,1), а третье условие представлено вектором (0,1,1,1,0,0).
Таким образом, условие срабатывания двигателя можем записать в виде дизъюнктивной нормальной формы (ДНФ):
Д=ABCDEF⋁ABCDEF⋁ABCDEF.
Для упрощения полученного выражения, вынесем AC за скобки