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

Раздел вводит понятия булевой переменной и функции, значения которых принимают только 0 или 1. Описываются операции отрицания, конъюнкции и дизъюнкции, используемые в записи СКНФ, а также правила чтения формул и приоритет операций. Это создаёт основу для понимания таблиц истинности и построения скобок.

В пункте объясняется, как перечислить все наборы значений переменных и записать результат функции для каждого набора. Рассматривается число строк для функций с разным количеством переменных, порядок записи наборов и роль таблицы как исходных данных для получения совершенной нормальной формы.

Здесь раскрывается устройство СКНФ как конъюнкции элементарных дизъюнкций. Уточняется, что каждая скобка включает все переменные по одному разу, а выбор прямой или отрицательной формы определяется значениями переменных в соответствующей строке таблицы. Раздел связывает структуру формулы с её поведением на наборах.

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

В разделе берётся небольшая таблица истинности с переменными x и y, выделяются строки, где функция равна нулю, и для каждой строится соответствующая скобка. Полученная СКНФ вычисляется на всех наборах и сравнивается с исходным столбцом, чтобы показать алгоритм без пропуска промежуточных шагов.

Пункт расширяет алгоритм на функцию трёх переменных, таблица которой содержит восемь наборов. На примере показывается выбор нескольких нулевых строк, составление трёхлитеральных скобок и их объединение. Особое внимание уделяется аккуратной записи наборов и проверке каждого множителя.

В практической части проверяется соответствие итогового выражения исходной таблице истинности и разбираются распространённые ошибки: выбор единичных строк вместо нулевых, неверный знак отрицания, пропуск переменной и неправильное соединение скобок. Для каждой ошибки указывается способ обнаружения через подстановку набора.

В заключении кратко фиксируется освоенный способ построения СКНФ и описывается, как таблица истинности задаёт состав и число элементарных дизъюнкций. Отмечается, какие правила помогают избежать ошибок, и оценивается, насколько памятка и решённые примеры пригодны для повторения темы и самостоятельной проверки формул.

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