Таблица истинности строится для логических функций. Она показывает, когда (при каком сочетании переменных) выражение является истинным (равно 1) или ложным (равно 0).
<hr />
Для того, чтобы построить таблицу истинности формулы, нужно найти, чему будет равно значение формулы при всех возможных комбинациях переменных, входящих в неё.
Как известно, любая логическая операция (дизъюнкция, конъюнкция и др.) имеет свою таблицу истинности. Например, результат дизъюнкции при x = 1 и y = 0 будет равен 1, а результат конъюнкции будет равен 0. На основании этого рассчитываются промежуточные значения в формуле.
Нужно не забывать, что логические выражения нужно максимально упрощать перед тем, как строить таблицы истинности.
<hr />
Пример
Построим таблицу истинности для выражения f(x,y) = (x&y)->y. Для этого нам понадобятся знания о конъюнкции (логическом умножении) и импликации.
Столбцы таблицы будут включать комбинации переменных x и y, промежуточные действия и итоговый результат.
Как видно из таблицы, значение данного выражения всегда равно 1, оно всегда истинно.