ГОУВПО «Воронежский государственный технический университет» Факультет энергетики и систем управления Кафедра высшей математики и физико-математического моделирования
Курсовая работа
по дисциплине дискретная математика на тему:
«Разработка логических функций для управления подвижной площадки с тремя электродвигателями-колесами»
Выполнил: студент гр. АТР-131 Попов Андрей
Принял: доц. Купцов В. С.
Воронеж 2013 г.
Содержание
Условие задачи………………………………………………………………………..….3
Теоретическое введение………………………………………………………………....4
Практическая часть……………………………………………………………………...9
Заключение……………………………………………………………………………….12
Список литературы………………………………………………………………………13
Условие задачи
Вывести логические функции для управления подвижной площадки с тремя ведущими электродвигателями-колёсами, если имеются следующие кнопки управления: «Вперёд», «Назад», «Вращение по часовой стрелке».
Теоретическое введение
Алгебра логики (алгебра высказываний) — раздел математической логики, в котором изучаются логические операции над высказываниями. Чаще всего предполагается, что высказывания могут быть только истинными или ложными.
Простое логическое выражение состоит из одного высказывания и не содержит логические операции. В простом логическом выражении возможно только два результата — либо «истина», либо «ложь».
Сложное логическое выражение содержит высказывания, объединенные логическими операциями. По аналогии с понятием функции в алгебре сложное логическое выражение содержит аргументы, которыми являются высказывания.
В качестве основных логических операций в сложных логических выражениях используются следующие:
отрицание;
конъюнкция;
дизъюнкция;
а также константы — логический ноль 0 и логическая единица 1.
Отрицание (НЕ) — логическая операция над суждениями, результатом которой является суждение противоположное» исходному. Результатом операции НЕ является следующее:
• если исходное выражение истинно, то результат его отрицания будет ложным;
• если исходное выражение ложно, то результат его отрицания будет истинным.
Для операции отрицания НЕ приняты следующие условные обозначения:
Не А, Ā, not A, ¬А.
Результат операции отрицания НЕ определяется следующей таблицей истинности:
A |
не А |
0 |
1 |
1 |
0 |
Результат операции отрицания истинен, когда исходное высказывание ложно, и наоборот.
Дизъюнкция (ИЛИ) — логическая операция, по своему применению максимально приближённая к союзу «или» в смысле «или то, или это, или оба сразу».
Результатом операции ИЛИ является выражение, которое будет истинным тогда и только тогда, когда истинно будет хотя бы одно из исходных выражений.
Применяемые обозначения: А или В, А V В, A or B.
Результат операции ИЛИ определяется следующей таблицей истинности:
A |
B |
А или B |
0 |
0 |
0 |
0 |
1 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
Результат операции ИЛИ истинен, когда истинно А, либо истинно В, либо истинно и А и В одновременно, и ложен тогда, когда аргументы А и В — ложны.
Конъюнкция (И) — логическая операция, по своему применению максимально приближенная к союзу «и». Результатом операции И является выражение, которое будет истинным тогда и только тогда, когда истинны оба исходных выражения.
Применяемые обозначения: А и В, А Λ В, A & B, A and B.
Результат операции И определяется следующей таблицей истинности:
A |
B |
А и B |
0 |
0 |
0 |
0 |
1 |
0 |
1 |
0 |
0 |
1 |
1 |
1 |
Результат операции И истинен тогда и только тогда, когда истинны одновременно высказывания А и В, и ложен во всех остальных случаях.
Импликация (ЕСЛИ-ТО) — логическая связка, по своему применению приближенная к союзам «если…то…». Эта операция связывает два простых логических выражения, из которых первое является условием, а второе — следствием из этого условия.
Применяемые обозначения:
если А, то В; А влечет В; if A then В; А→ В.
Таблица истинности:
A |
B |
А → B |
0 |
0 |
1 |
0 |
1 |
1 |
1 |
0 |
0 |
1 |
1 |
1 |
Результат операции следования (импликации) ложен только тогда, когда предпосылка А истинна, а заключение В (следствие) ложно.