946 B
946 B
- Логическая функция и способы её задания. Число логических функций. Существенные и фиктивные переменные. Основные операции алгебры логики. Логические формулы. Эквивалентность функций. Эквивалентность формул.
- Булева алгебра и её основные свойства. Булевы формулы. Нормальные формы (ДНФ и КНФ). Преобразование формул к ДНФ и КНФ.
- Совершенные ДНФ и КНФ. Разложение функции по переменной. Построение СДНФ и СКНФ. Единственность СДНФ и СКНФ.
- Импликанта логической функции. Свойство склейки. Сокращённая ДНФ.