Учебно-методическое обеспечение

КОНТРОЛЬНЫЕ ВОПРОСЫ

1. Дать определение функции алгебры логики (булевой функции). Функция одной и двух переменных. Как определить количество функций переменных?

2. Привести пары булевых функций двух переменных.

3. Перечислить свойства совершенства формулы алгебры логики.

4. Какие логические операции и формулы являются двойственными? Привести выражение для определения двойственной формулы.

5. Что является элементарной конъюнкцией? Дать определение ДНФ и СДНФ.

6. Правило получения СДНФ из формулы А по таблице истинности и с помощью равносильных преобразований.

7. Что является элементарной дизъюнкцией? Дать определение КНФ и СКНФ.

8. Правило получения СКНФ из формулы А по таблице истинности и с помощью равносильных преобразований.

9. На какие классы разрешимости подразделяются формулы алгебры логики? Дать соответствующие определения.

10. Охарактеризуйте критерии тождественной истинности и тождественной ложности формулы.

11. Используя критерии тождественной истинности и тождественной ложности формулы, определить класс формулы .

12. Какая булева функция называется сохраняющей 0 и сохраняющей 1? Привести функции одной и двух переменных сохраняющие 0 и сохраняющие 1.

13. Построить формулу от трех переменных, которая истинна в том и только в том случае, когда ровно две переменные ложны.

14. Показать, что формула является самодвойственной.

1. Лихтарников, Л. М. Математическая логика: курс лекций / Л. М. Лихтарников, Т. Г. Сукачева. – СПб.: Лань, 1998

2. Игошин, В. И. Математическая логика и теория алгоритмов / В. И. Игошин. – М.: ACADEMA, 2004.

3. Шапорев, С. Д. Математическая логика: курс лекций и практических занятий / С. Д. Шапорев – СПб.: БХВ – Петербург, 2005.

Дата добавления: 2017-02-01; Просмотров: 71; Нарушение авторских прав?; Мы поможем в написании вашей работы!