ееооее. Факультет информационных технологий Кафедра Компьютерные технологии и системы
 Скачать 51.76 Kb.
|
 Факультет информационных технологий Кафедра «Компьютерные технологии и системы» Факультет информационных технологий Кафедра «Компьютерные технологии и системы» Дисциплина: «Математическая логика и теория алгоритмов» Вариант 21 Выполнил студент группы О-20-ИСТ-ИСТД Нестеренко О.А. Проверил преподаватель Андросенко В.А. Брянск 2021 Задание №1 РГР Преобразовать булеву функцию к виду: а)СДНФ с помощью алгоритма б)СКНФ с помощью двойственности Проверить ответ с помощью таблицы истинности. Задание №2 РГР Совершенная дизъюнктивная нормальная форма задана в двоичном виде. Привести её к минимальной дизъюнктивной нормальной форме: 1) Методом непосредственных преобразований; 2) методом карт Карно; 3) методом Квайна – Мак-Класки. Задание №3 РГР Для функции , соответствующей номеру своего варианта, выполнить следующее: 1. Записать СДНФ функции. 2. Упростить выражение для СДНФ, используя карту Карно. 3. Составить релейно-контактную схему, реализующую заданную СДНФ после упрощения. Задание РГР №4 Дана функция f (x, y,z). Построить многочлен Жегалкина данной функции: 1. методом неопределённых коэффициентов; 2. методом треугольника Паскаля; 3. методом непосредственных преобразований Задание РГР №5 Проверить систему булевых функций 1 2 3 f , f , f на полноту. Задание №6 Дана формула алгебры предикатов. Привести формулу к виду: а) предваренной нормальной формы; б) сколемовской стандартной формы. Задание №7 1.Описать системой команд, функциональной таблицей и диаграммой переходов работу машины Тьюринга, реализующую заданный вариантом алгоритм. Начальная и конечная конфигурации стандартны. 2. Проверить модель алгоритма на множестве тестовых примеров. Привести последовательности конфигураций машины Тьюринга, заданной в предыдущем пункте, для различных тестовых исходных слов. |