Логика и теория алгоритмов. 3 задачи

13 вариант

1). Записать логические выражения для двух логических функций,

используя только заданные в варианте наборы элементов (должно

получиться 4 формулы – две функции, для каждой два набора

элементов).

2). Построить в программе Atanua по две схемы для каждой из

двух функций, используя только указанные в варианте задания наборы

логических элементов (то есть, всего должны получиться 4 схемы).

Ваши схемы должны содержать минимально возможное

количество элементов! Это необходимо доказать – например,

разработать компьютерную программу, перебирающую все возможные

варианты схем с меньшим числом элементов.

3). Постройте две машины Тьюринга, вычисляющие обе ваши

логические функции. Входные данные – слово из двух символов '0' или

'1', результат – слово из одного символа '0' или '1'.

Выполнить по образцу представленному в файле 1.docx