Таблицы истинности

Для задания логических операций используются таблицы истинности. В таблицах истинности перечисляются все возможные сочетания значений логических переменных (операндов) и результаты выполнения соответствующих логических операций. Как правило, используются обозначения логических значений 0 (ложь) и 1 (истина).

Таблицы истинности могут быть записаны так же, как таблицы умножения. Такая форма записи называется картой Карно.

Таблицы истинности логических операций

В первой строке каждой таблицы записаны значения логической переменной В, в первом столбце — значения логической переменной А. На пересечении строки и столбца — результат выполнения логической операции при соответствующих значениях А и В.

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

Сводная таблица истинности логических операций

Совокупность значений переменных называют набором, например: А = 0, В = 1. Если количество переменных N, то количество различных наборов 2^N. Для двух переменных количество различных наборов 2² = 4. Для всех четырёх наборов логических переменных А и В записаны результаты применения к ним соответствующих логических операций.