Практическая часть. Задача 3.1Приведем формулу к предваренной нормальной форме

Задача 3.1 Приведем формулу к предваренной нормальной форме.

Решение.

Практическое задание

4.1 Доказать следующие равносильности:

вариант	Равносильности
	а) ; б) .
	а) ; б) .
	а) ; б) .
	а) ; б) .

4.2 Какие из следующих формул тождественно истины?

вариант	Формулы
	а) .
	а) .
	а) .
	а) .

Контрольные вопросы

1) Какие предикаты называются равносильными?

2) Как привести формулу к предваренной нормальной форме?

Практическая работа №13.

Применение и конструирование машин Тьюринга.

Цель работы

Научиться:

- применять и конструировать машины Тьюринга;

- конструировать машины Тьюринга.