Алгоритм заполнения таблицы истинности

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

Алгоритм заполнения таблицы истинности:

1. Пусть функция состоит из n простых.

2. Тогда число строк в таблице истинности 2ⁿ (два значения: 0 или 1).

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

4. Заполняем первые n столбцов для переменных (перебираем все возможные значения). Таким образом, все возможные варианты учтены и никакие два не совпадают.

5. Заполняем таблицу истинности в соответствии с определениями логических операций.

Пример. Построить таблицу истинности для функции

А	В	С