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

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

Общий алгоритм построения таблиц: 1

1. Определить число логических значений/переменных (n) в примере. 1
2. Установить вид, число и тип операций. 1 Важно заранее определить очередность действий, выразить это при помощи скобок. 1
3. Рассчитать, сколько нужно столбцов — это сумма числа переменных и операций. 1
4. Нарисовать таблицу, заполнить шапку, записав обозначение переменных и выбранные действия. 1
5. Определить, сколько существует наборов логических переменных (то есть число строчек). 1
6. Заполнить столбцы, вписав наборы значений логических переменных (0 или 1). 1
7. Записать результаты логических операций, указанных в шапке для каждой совокупности значений. 1
8. Сделать выводы на основании полученных результатов. 1

Для реализации метода электронных таблиц для анализа логических выражений можно использовать, например, табличный процессор MS Excel, где для реализации функций булевой алгебры используются логические функции: ЕСЛИ, И, ИЛИ, НЕ, ИСТИНА и ЛОЖЬ. 5