Висвітлено основні тотожності алгебри логіки, канонічні форми булевих функцій, мінімальні, скорочені та тупикові диз'юнктивні нормальні форми. Розглянуто проблему повноти для алгебри булевих функцій, а також питання мінімізації формул логіки. Описано теорему про функціональну повноту, метод Квайна - Мак-Класкі побудови скороченої диз'юнктивної нормальної форми (ДНФ) булевої функції, а також методи побудови мінімальних ДНФ.

Освещены основные тождественности алгебры логики, канонические формы булевых функций, минимальные, сокращенные и тупиковые дизъюнктивные нормальные формы. Рассмотрены проблема полноты для алгебры булевых функций, а також проблема минимизации формул логики. Описана теорема о функциональной полноте, метод Квайна-Мак-Класки построения сокращенной дизъюнктивной нормальной формы (ДНФ) булевой функции, а также методы построения минимальных ДНФ.