ify">13. Берiлген Т Тьюринг машинасы және K₁ бастапқы конфигурация бойынша қорытынды конфигурацияны табыңыз. 

        T:                                                                                     K₁=L( q₁) L L

L ( q₀) LL

L | ( q₀) |

| L ( q₀) |

| L L L ( q₀)

|L( q₀) | | 

14. формуланың жетілдірілген конъюнктивті нормал формасын табыңыз:

 

15. 0-ді Пирс функциясы арқылы өрнектеңіз:

 

16. Пирс функциясы арқылы өрнектеңіз:

 

17. Шеффер функциясы арқылы өрнектеңіз:

 

18. Шеффер функциясы арқылы өрнектеңіз:

 

19. x = 1, y = 1, z = 0 аргументтердің берілген мәндерінде және функциялардың мәндерін есептеңіз.

F = 1, G =1

F = 0, G = 0

F = 0, G = 1

F = 1, G = 0 

20. x = 1, y = 1, z = 1 аргументтердің берілген мәндерінде және функциялардың мәндерін есептеңіз.

.F = 1, G = 0

F = 0, G = 1

F = 1, G = 1

F = 0, G = 0

 

    ӘДЕБИЕТТЕР

 

1. Ершов Ю.Л., Палютин Е.А., «Математическая логика». М., Наука, 1979.
2. Жетпісов Қ., Түсіпов Ж.А., «Математикалық логика», Тараз, 2000.
3. Лавров И.А., Максимова Л.Л., «Задачи по  теории множеств, математической статистике и теории алгоритмов». М., Наука, 1975.
4. Лихтарников Л.М., Сукачева Т.Г., «Математическая логика». СПб.: «Лань», 1998.
5. Мальцев А.И., «Алгоритмы и рекурсивные функции». М.: Наука, 1986.
6. Мендельсон Э., «Введение в математическую логику», М., 1976.