Булева алгебра

Содержание. Булевы переменные и функции +примеры решений. Элементарные булевы функции. Равносильности +примеры решений. Дизъюнктивные нормальные формы +примеры решений. Минимизация Днф +примеры решений. Конъюнктивные нормальные формы +примеры решений. Минимизация Кнф +примеры решений. Полиномиальное разложение булевых функций +примеры решений. Разложение булевых функций в...

Булевы переменные и функции. Операции булевой алгебры. Эквивалентные формулы. Основные эквивалентности. Дизъюнктивная нормальная форма (ДНФ). Совершенная ДНФ. Минимизация ДНФ. Конъюнктивная нормальная форма (КНФ). Совершенная КНФ. Минимизация КНФ. Полиномиальное разложение: СПНФ. Канонический полином Жегалкина. Арифметический полином.