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