Заключение

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

y₃ = x₁ ᴧ ¬x₂ ᴧ ¬x₃;

y₄ = ¬x₁ ᴧ (x₂ ∆ x₃);

y_1,5 = ¬x₂ ᴧ (x₁ ∆ x₃);

y_2,6 = ¬x₁ ᴧ x₂ ᴧ ¬x₃.

y₁ = y₅ , y₂ = y₆ .

Литература

• Владимиров Д. А. Булевы алгебры. — М.: «Наука», 1969.

• Иванов Б. Н. Дискретная математика. Алгоритмы и программы. Расширенный курс. — М.: «Известия», 2011.

• Кузнецов О. П., Адельсон-Вельский Г. М. Дискретная математика для инженера. — М.: Энергоатомиздат, 1988.

• Гуров С.И. Булевы алгебры, упорядоченные множества, решетки: Определения, свойства, примеры. — М.: Либроком, 2013.

• Ю.И. Галушкина, А.Н. Марьямов: Конспект лекций по дискретной математике - 2-е изд., испр. - М.: Айрис-пресс, 2008.

13