3. Алгоритм построения таблицы истинности логического выражения.

1. Определить все переменные выражения.
2. Посчитать число строк: если переменных n, то строк будет 2ⁿ.
3. Записать все возможные наборы значений переменных — истина (1) и ложь (0).
4. Определить порядок выполнения операций и создать столбцы для промежуточных выражений.
5. Вычислить значения промежуточных выражений и итогового выражения для каждой строки.

Пример для выражения ¬A ∨ B: