
- •Содержание
- •Практическое занятие №1 Операции над множествами. Классификация множеств. Элементы теории множеств
- •Операции над множествами
- •Практическое занятие №2
- •Практическое занятие №3*. Проверка теоретико-множественных операций с помощью формул и определений
- •Практическое занятие №4* Представление множеств с помощью кругов Эйлера-Вена.
- •Практическое занятие №5 Бинарные отношения и их свойства. Соответствия между множествами. Отображения. Функции. Соответствия и функции.
- •Соответствия.
- •Взаимнооднозначные соответствия и мощности множеств.
- •Отображения и функции.
- •Отношения и их свойства.
- •Основные понятия и определения.
- •Практическое занятие №6* Элементы теории отображений и алгебры подстановок (перестановок). Операции над подстановками. Перестановки
- •Произведение подстановок
- •Обратная подстановка
- •Графическое представление подстановок
- •Инверсии
- •Задания для практического занятия №6*. Операции над подстановками, перестановками
- •Практическое занятие №7 Операции над высказываниями. Элементы алгебры логики
- •Математическая логика
- •Операции алгебры логики
- •Эквиваленция высказываний
- •Стрелка Пирса (функция Вебба)
- •Практическое занятие №8 Упрощение логических выражений с помощью законов логики
- •Законы алгебры логики
- •Практическое занятие №9* Построение таблиц истинности для высказываний.
- •Практическое занятие №10*,16 Дизъюнктивная нормальная форма (днф), конъюнктивная форма (кнф). Совершенные нормальные формы сднф и скнф в логике высказываний.
- •Практические занятия №11,12,13
- •Язык логики предикатов.
- •Предикаты.
- •Кванторы.
- •Истинные формулы и эквивалентные соотношения.
- •Практическое занятие №14* Операции логики Буля: дизъюнкция, конъюнкция, отрицание, импликация, эквивалентность, стрелка Пирса, штрих Шеффера, сумма по модулю два, разность.
- •Разность и импликация
- •Практическое занятие №15 Булевы вектора (двоичные вектора). Соседние и противоположные булевы вектора. N-мерный единичный куб. Булевы функции (функции алгебры логики) и способы их задания.
- •Практическое занятие №17* Представление булевых функций в виде сднф, скнф. Совершенные нормальные формы: дизъюнктивная, конъюнктивная и полиминальная
- •Решение
- •Сднф – совершенная дизъюнктивная нормальная форма
- •Скнф – совершенная конъюнктивная нормальная форма
- •Практическое занятие №18 Приложение алгебры логики к анализу и синтезу релейно-контактных схем.
- •Стандартные обозначения основных функциональных элементов
- •Метод Куайна для минимизации
- •Карты Карно (диаграмма Вейча)
- •Решение
- •1. Построим сднф – совершенную дизъюнктивную нормальную форму
- •2. Минимизируем сднф
- •Практическое занятие №23,24*
- •23. Операции двоичного сложения и ее свойства. Многочлен Жегалкина. Представление булевой функции в виде многочлена Жегалкина, используя сднф и формы логики.
- •24*. Представление булевой функции в виде многочлена Жегалкина с помощью треугольника Паскаля.
- •Представление булевой функции в виде многочлена Жегалкина, используя днф и формы логики
- •Представление булевой функции в виде многочлена Жегалкина, используя сднф и формы логики
- •Для булевых функций двух аргументов построить спнф, используя сднф и треугольник Паскаля
- •Для булевой функции, заданной вектором значений, определить полином Жегалкина.
- •Решение
- •Практические занятия № 25*, №26*
- •25. Классы Поста. Проверка булевой функции на принадлежность к классам Поста.
- •26. Проверка булевой функции на принадлежность к классам Поста, используя таблицу истинности. Полнота системы логических функций. Базис
- •Практические занятия № 27, №28
- •27. Полнота множества функций. Система базовых функций.
- •28. Исследование системы функций на полноту.
- •Практическое занятие № 29
- •Основные понятия
- •Практическое занятие № 30 Решение задач с помощью алгоритмов машины Тьюринга.
- •Перечень используемых учебных изданий, Интернет-ресурсов, дополнительной литературы
Представление булевой функции в виде многочлена Жегалкина, используя днф и формы логики
Разбиваем ДНФ на пары конъюнкций, если число слагаемых нечетно, то одно слагаемое остается без пары
Заменяем дизъюнкцию каждой пары конъюнкций
В полученной формуле полученные дизъюнкции заменяем
и повторяем шаг, сколько возможно.
Заменяем инверсии
Раскрываем скобки
Вычеркиваем из полинома одинаковые слагаемые и получаем полином
Пример 1.
Пример 2.
Записать функцию
в формуле полинома (многочлена) и упростить.
Решение
Пример 4.
Все остальные булевы функции можно представим аналогично
Представление булевой функции в виде многочлена Жегалкина, используя сднф и формы логики
Т.к. 0×1=0, то если в эквивалентности jÚy=j+y+j ×y формулы j и y являются различными константами единицы, то j ×y=0 и тогда jÚy=j+y. Следовательно, для получения полинома Жегалкина из СДНФ можно сразу заменить Ú на +.
Пример 3.
Примечание
Переменные xi часто называют термами, полные набор из n термов образуют конституенту (константу).
Неполной дизъюнкт или конъюнкт называют импликантой.
Таким образом, полином Жегалкина можно построить следующими способами:
Используя формулы алгебры логики.
Используя ДНФ или СДНФ (при этом слагаемые, которые встречаются четное количество раз, взаимно уничтожаются).
Используя треугольник Паскаля, в котором используются правила сложения суммы по модулю 2 (модификация метода неопределенных коэффициентов).
Имеются также метод Паскаля, карты Карно и другие
Пример 4.
Построить полином Жегалкина для функции
с помощью СДНФ и треугольника Паскаля
х |
у |
х®у |
0 |
0 |
1 |
0 |
1 |
1 |
1 |
0 |
0 |
1 |
1 |
1 |
Способ 1. Построим полином Жегалкина, используя СДНФ.
СДНФ – совершенная дизъюнктивная нормальная форма
1. Выделим константы 1 2. Построим для них полные конъюнкты 3. Объединим их знаком дизъюнкции |
|
4. В СДНФ заменим
|
|
|
|
Примечание: Слагаемые, которые встречаются четное количество раз, взаимно уничтожаются |
Способ 2. Воспользуемся таблицей истинности и треугольником Паскаля.
С помощью треугольника Паскаля найдем функцию . При этом воспользуемся правилами сложения суммы по модулю 2: 0+0=0, 0+1=1, 1+0=1, 1+1=0.
х |
у |
=х®у |
|
Треугольник Паскаля |
||||||||||||||||||||||||||||
0 |
0 |
1 |
1 |
|
||||||||||||||||||||||||||||
0 |
1 |
1 |
0 |
|||||||||||||||||||||||||||||
1 |
0 |
0 |
1 |
|||||||||||||||||||||||||||||
1 |
1 |
1 |
1 |
Задания для практического занятия :