Построение таблиц истинности для логических выражений

В компьютере вся информация представлена в двоичной системе счисления, в которой используется две цифры – 0 и 1. Собственно, и цифр как таковых у компьютера нет, а есть электрический сигнал, проходящий по электронным схемам и соединительным проводникам (шинам) компьютера, который может принимать значения “высокий уровень электрического напряжения” (принимаемый нами за 1) и “низкий уровень электрического напряжения” (принимаемый за 0).

Для различных действий над этими нулями и единичками нам необходимы специальные операции, которые работают с двоичными переменными. Такие операции называются логическими операциями.

Логические операции и их аргументы принимают только два значения: 1 (“истина”) и 0 (“ложь”). Таблица истинности выражения определяет его значения при всех возможных комбинациях исходных данных.

Логическая функция — это формула сложного высказывания, состоящая из логических переменных и знаков логических операций. Логическая функция может принимать два значения: истина (1), ложь (0)

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