📘 О чем эта работа
Работа посвящена основам математической логики и теории автоматов. В ней последовательно разбираются логические выражения ¬x → (x → y) и ¬y → (¬x → (x → y)), а также строится автомат Мура для игрового автомата, реагирующего на выигрышные комбинации ☼☼☼, 777 и TTT.
Материал объединяет два типовых учебных направления: проверку логических формул через таблицы истинности и построение конечного автомата по заданным правилам работы. Это делает работу полезной и для отработки теории, и для понимания, как логические методы применяются в моделировании дискретных систем.
📚 Что внутри
В работе последовательно решены четыре задания:
- составлена таблица истинности для выражения ¬x → (x → y) и сделан вывод, что формула является таутологией;
- доказана тождественная истинность высказывания ¬y → (¬x → (x → y)) на всех наборах значений переменных;
- по таблице истинности функции F(x, y) получена её нормальная форма: СДНФ xy ∨ x¬y ∨ ¬xy и СКНФ (x ∨ y);
- построена модель автомата Мура для игрового автомата с состояниями ожидания, промежуточных выпадений и финальными состояниями выигрыша/проигрыша.
Отдельно приведены входной алфавит {☼, 7, T, o}, перечень состояний S0, S☼1, S71, ST1, SX1, S☼2, S72, ST2, SX2, W☼, W7, WT, L, а также автоматная таблица переходов по трём шагам выбора символов.
📊 Для кого подходит
Материал рассчитан на студентов, изучающих математическую логику, дискретную математику и теорию автоматов. Подходит для 1–3 курса технических, информационных и прикладных направлений, где нужно отработать построение таблиц истинности, нормальных форм и схемы конечного автомата.
✨ Особенности
Работа ценна тем, что содержит не только итоговые ответы, но и пошаговую логику решения. Показано, как из исходных формул получить вывод о таутологии, как по строкам таблицы собрать совершенную дизъюнктивную и конъюнктивную нормальные формы, и как формализовать поведение игрового автомата через состояния и переходы.
Для задания по автоматам используется наглядная прикладная модель с трёхсимвольными выигрышными комбинациями. Это помогает быстро понять принцип работы автомата Мура: выход зависит от состояния, а не от текущего входа, что особенно важно при подготовке к практическим занятиям и контрольным.
❓ Частые вопросы
Подойдет ли для моего ВУЗа?
Да, структура решения универсальна и соответствует стандартным требованиям по дисциплинам математического профиля.
Можно адаптировать?
Да, формулы, обозначения состояний и оформление таблиц легко подстраиваются под требования преподавателя.
Есть ли в работе практическая часть?
Да, помимо логических формул здесь есть полноценное построение автомата Мура с таблицей переходов и выходов.
