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

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

f = (1100 1000 1001 0011);

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

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

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

Дано двоичное число, оканчивающееся справа точкой. Передвинуть число по ленте так, чтобы оно находилось справа от точки (точка остается в той же ячейка).