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

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

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

С помощью заданной таблицы истинности можно решить обратную задачу, а именно: для заданной таблицы построить аналитическую формулу логической функции. 4 Различают две формы построения аналитической зависимости логической функции по таблично заданной функции: 4

1. Дизъюнктивно нормальная форма (ДНФ) — сумма произведений, образованных из переменных и их отрицаний для ложных значений. 4 Алгоритм построения ДНФ следующий: 4

• в таблице истинности функции выбирают наборы аргументов, для которых логические формы равны 1 («истина»); 4
• все выбранные логические наборы как логические произведения аргументов записывают, последовательно соединив их между собой операцией логической суммы (дизъюнкции); 4
• для аргументов, которые являются ложными, в построенной записи проставляют операцию отрицания. 4

1. Конъюнктивно нормальная форма (КНФ) — произведение сумм, образованных из переменных и их отрицаний для истинных значений. 4 Алгоритм построения КНФ следующий: 4

• в таблице истинности выбирают наборы аргументов, для которых логические формы равны 0 («ложь»). 4

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