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

Имеем 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 за скобки