Номер §19 № 1

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

Сначала выписывают все наборы значений переменных. Если переменных , то наборов : для каждой переменной независимо выбирают одно из двух значений. Затем для каждой строки вычисляют значения промежуточных операций и всего выражения по правилам этих операций.

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