Разработать программу для выполнения бинарных логических операций NOT и OR алгоритмом Маркова

Будь який нормальний алгорифм визначається вказанням алфавіту, в якому він діє, та схеми нормального алгорифма. Алфавітом нормального алгорифма може бути довільний скінченний алфавіт A. Формулами підстановок в алфавіті A називаються вирази подібні p → q (проста пістановка) або p →• q (кінцева підстановка), де p та q — деякі слова в алфавіті A, які називаються лівою та правою частинами формули відповідно (вважається, що алфавіт A не містить символів → та →•).

Постановка задачі 3
Теорія 4
Нормальні алгоритми 4
Визначення нормального алгорифма 4
Принцип дії 4
Приклад роботи 4
Алгоритм програми 6
Скріншоти 11