Задача 3.1 Приведем формулу к предваренной нормальной форме.
Решение.
Практическое задание
4.1 Доказать следующие равносильности:
вариант | Равносильности |
а) ; б) . | |
а) ; б) . | |
а) ; б) . | |
а) ; б) . |
4.2 Какие из следующих формул тождественно истины?
вариант | Формулы |
а) . | |
а) . | |
а) . | |
а) . |
Контрольные вопросы
1) Какие предикаты называются равносильными?
2) Как привести формулу к предваренной нормальной форме?
Практическая работа №13.
Применение и конструирование машин Тьюринга.
Цель работы
Научиться:
- применять и конструировать машины Тьюринга;
- конструировать машины Тьюринга.