Книга: Методичка для 1 лабы по ОТКДС

Цель работы: освоение методики экспериментального исследования конечного автомата без памяти с двоичными входами и выходами, его формального описания и исследования с помощью функций алгебры логики (ФАЛ); овладение навыками аналитического оперирования с ФАЛ (доказательство тождеств, построение СДНФ, ДНФ), реализация системы ФАЛ в форме логической сети; реализация на ЭВМ системы ФАЛ и простейших операций.

Задание:
1. Выполнить цикл упражнений по аналитическому преобразованию ФАЛ, доказательству тождеств на основе свойств элементарных ФАЛ, принципа двойственности, теоремы Де - Моргана, формул разложения.
2. Для заданного на ЭВМ (5хm) - полюсника с двоичными входами и выходами составить на основе эксперимента таблицу соответствия входных и выходных слов, являющуюся также таблицей истинности для системы m ФАЛ (здесь m – число студентов в бригаде).
3. Исследовать аргументы каждой из полученных ФАЛ на существенность (фиктивность). При обнаружении фиктивных аргументов записать эти ФАЛ как функции только существенных аргументов.
4. Образовать СДНФ и СКНФ, полученных в п. 3 ФАЛ.
5. Упростить полученные ФАЛ с помощью карт Вейча.
6. Составить переключательные схемы и логические сети из логических элементов НЕ, ИЛИ, И, соответствующие каждой окончательной ДНФ, полученной в п. 4, и оценить количественно сложность каждой.
7. Осуществить программную реализацию заданной преподавателем элементарной ФАЛ и ее тестирование на ЭВМ. Программа должна обеспечивать ввод и контроль исходных данных (по составу и количеству), отображение результатов счета как на экране дисплея, так и в виде протокола на бумажном носителе. В качестве исходных данных используются изображающие числа функций, полученные бригадой в п.2.
8. Составить отчет, отражающий выполнение п.п. 1 - 6. Ответить на контрольные вопросы.