Самостоятельная работа № 6

Выражение одних булевых функций через другие

Цель работы: Закрепить знания и умения выражать одни булевы функции через другие посредством логических законов и свойств булевых функций.

Форма отчета: студенты оформляют выполненную работу в тетради для самостоятельных работ и предоставляют материал для проверки.

Задания для выполнения работы:

Выполните следующие упражнения в тетради для самостоятельных работ:

1) Выразите через суперпозиции конъюнкции и отрицания, следующие булевы функции:

а) дизъюнкцию Ù;

б) импликацию →;

в) эквивалентность ↔;

г) сумму Жегалкина Å;

д) штрих Шеффера |;

е) стрелку Пирса ¯;

ж) отрицание импликации .

Список литературы:

1) Спирина М.С. Спирин В.В. Дискретная математика: Учебник для студ. учреждений сред. проф. образования / М. С. Спирина, П. А. Спирин. 10-е издание. – М.: Издательский центр «Академия», 2014. – 368 с.

2) Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов: учеб. пособие для студ. высш. учеб. заведений. 4-е издание – М.: Издательский центр «Академия», 2008. – 304 с.

3) Тишин В.В. Дискретная математика в примерах и задачах. – СПб.: БХВ–Петербург, 2012. – 352 с.