Контрольная работа по курсу Математическая логика и теория алгоритмов

Вариант 1.

Задача 1. Построить СДНФ функции, заданной таблицей истинности

f = 1 на 1, 4, 8,9, 14.

Задача 2. По полученной СДНФ для функции f с помощью метода Квайна построить сокращенную ДНФ.

Задача 3. Для функции f, используя карту Карно, получить сокращенную ДНФ. Сравнить с результатами, полученными в задаче 2.

Задача 4. Построить МТ: систему продукций, алфавит, множество состояний. Представить контрольный пример входного слова, а также проверочную последовательность конфигураций, образующуюся в результате применения МТ к контрольному примеру входного слова.

Дана последовательность двоичных чисел, разделенных точками. В конце последовательности справа стоят две точки. Заменить каждое второе число (отсчет слева) на цепочку нулей.

Требования: выполнить в Word файле, оставить поле для заполнения группы и ФИО