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

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

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

Национальный исследовательский Томский политехнический университет. 2016. 10 с. Презентация к лекции по учебной дисциплине «Математическая логика и теория алгоритмов» Доцент Березовская О.Б. Булевы функции Элементарные булевы функции Функции одной переменной Функции двух переменных

Национальный исследовательский Томский политехнический университет. 2016. 13 с. Презентация к лекции по учебной дисциплине «Математическая логика и теория алгоритмов» Доцент Березовская О.Б. Ассоциативный закон Коммутативный закон Дистрибутивный закон Свойства дизъюнкции и конъюнкции Операция поглощения Обобщенное склеивание Получение эквивалентных формул

Национальный исследовательский Томский политехнический университет. 2016. 10 с. Презентация к лекции по учебной дисциплине «Математическая логика и теория алгоритмов» Доцент Березовская О.Б. Метод для функций с малым числом переменных Отличия двух соседних ячеек Кпарты Вейча Примеры