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

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

f = 1 на 0, 5,6,7, 10, 11, 15.

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

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

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

Дана исходная последовательность чисел в единичном коде унарного счисления, разделенных точками. В конце последовательности справа стоит символ #. Справа от # построить двоичную последовательность, в которую записывается 0, если в исходной последовательности унарное число было четное, или 1, если число было нечетное.