Решение:
Пусть: S1 – «Тумблер включения»,
Тогда: Y1– «Срабатывание левого датчика реверса» ,
Y2 – «Срабатывание правого датчика реверса»,
Y3 – «Срабатывание датчика остановки в центральной зоне рабочего участка»,
Y- «Остановка движения»
Составим таблицу истинности
S1 |
Y1 |
Y2 |
Y3 |
Y |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
0 |
1 |
1 |
0 |
0 |
1 |
0 |
0 |
0 |
0 |
1 |
0 |
1 |
0 |
0 |
1 |
1 |
0 |
0 |
0 |
1 |
1 |
1 |
0 |
1 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
1 |
1 |
1 |
0 |
1 |
0 |
0 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
0 |
0 |
0 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
0 |
0 |
1 |
1 |
1 |
1 |
0 |
Используя метод СДНФ, и, выбирая «1», получим:
S1 |
Y1 |
Y2 |
Y3 |
Y |
1 |
0 |
0 |
1 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
0 |
1 |
1 |
Получаем функцию
Далее минимизируем полученную нами функцию:
Заключение
Составив таблицу истинности для нашей задачи, применив метод СДНФ и минимизировав функцию, в итоге для остановки движения объекта мы получили следующую функцию:
Список литературы
Гаврилов Г.П., Сапоженко А.А. Задачи и упражнения по курсу дискретной математики. — М.: Наука, 2007. —408с.
Дискретная математика Maкоха А. Н., Сахнюк П. А., Червяков Н. И. 2005г.
Мендельсон Э. Введение в математическую логику. — М.: Наука, 2006. — 319с.
Набебин А.А. Логика и пролог в дискретной математике. — М.: МЭИ, 2006. —452с.
Нефедов В.Н., Осипова В.А. Курс дискретной математики — М.: Издательство МАИ, 2008. — 264с.
Рембольд У. Введение в информатику для научных работников и инженеров. — Уфа: УГАТУ, 2007. —445с.