Высказывание – это любое повествовательное предложение, в отношении которого имеет смысл

утверждение в его истинности или ложности.

Функция одной переменной f(x)=y – к ней относится отрицание (инверсия), которое истинно если х ложно и
ложно если х истинно, обозначается х читается «не х»

Функция двух переменных f(x1, x2)=y, где х1, х2 некоторые двухэлементные двоичные числа. К ней
относится Дизъюнкция, Конъюнкция, Эквивалентность, Инверсия функции.

Таблица истинности – конструкция в виде таблицы, в которой записываются варианты входящих величин и
значений, где значения – двоичные числа 1 – истинно, 0 – ложно

Анализ – составление функции и поиск аналитического выражения, которое описывает работу системы.

Синтез – обратная задача; создание технического устройства на основе математического описания

средствами Булевой алгебры.

Гипотетическая машина Тьюринга – алгоритм, записью которого является функциональная таблица или
функциональная диаграмма, а правилом выполнения – описание ее устройства

Гипотетическая машина Тьюринга должна состоять из разбитой на ячейки бесконечной ленты,

считывающей-записывающей информацию головки управляющего устройства.

Основной тезис А. Тьюринга: всякий алгоритм может быть задан посредством «Тьюринговой»
функциональной схемы и реализован в соответствующей машине Тьюринга.

Если схема может быть реализована на машине тьюринга то это алгоритм