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

Определение. Полный перебор всех комбинаций значений логических переменных: для n переменных 2ⁿ строк. Позволяет вычислять значение любой логической формулы механически — основа работы компьютера с логикой.