Заключение

В ходе Курсовой Работы я освоил метод построения алгоритма управления подвижной платформы способом формирования логических функций. Я использовал таблицу истинности для построения СДНФ. Затем, некоторые СДНФ привёл к ПФ с минимальным количеством операций, используя свойства логических функций (а именно «дистрибутивность» и «исключающее ИЛИ»).

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

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

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

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

В конце концов выяснилось, что правое и переднее колёса вращаются по одинаковым алгоритмам: y₃ = y₅ , y₄ = y₆ .

Литература

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

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

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

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

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

13