Выражение одних булевых функций через другие
Цель работы: Закрепить знания и умения выражать одни булевы функции через другие посредством логических законов и свойств булевых функций.
Форма отчета: студенты оформляют выполненную работу в тетради для самостоятельных работ и предоставляют материал для проверки.
Задания для выполнения работы:
Выполните следующие упражнения в тетради для самостоятельных работ:
1) Выразите через суперпозиции конъюнкции и отрицания, следующие булевы функции:
а) дизъюнкцию Ù;
б) импликацию →;
в) эквивалентность ↔;
г) сумму Жегалкина Å;
д) штрих Шеффера |;
е) стрелку Пирса ¯;
ж) отрицание импликации .
Список литературы:
1) Спирина М.С. Спирин В.В. Дискретная математика: Учебник для студ. учреждений сред. проф. образования / М. С. Спирина, П. А. Спирин. 10-е издание. – М.: Издательский центр «Академия», 2014. – 368 с.
2) Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов: учеб. пособие для студ. высш. учеб. заведений. 4-е издание – М.: Издательский центр «Академия», 2008. – 304 с.
3) Тишин В.В. Дискретная математика в примерах и задачах. – СПб.: БХВ–Петербург, 2012. – 352 с.