Контрольные вопросы

1. Дайте определение высказывания, простого высказывания.

2. Дайте определения основных логических операций: отрицания, конъюнкции, дизъюнкции, альтернативной дизъюнкции, импликации, эквивалентности; приведите их таблицы истинности их технические аналоги (электрические цепи).

3. Какая существует связь между формулами логики высказываний и булевыми функциями?

4. Что такое равносильные формулы? Как можно доказать равносильность двух формул?

5. Могут ли равносильные формулы содержать несовпадающие наборы простых высказываний? Приведите пример.

6. Что такое фиктивная переменная? Приведите пример булевой функции с фиктивными переменными.

7. Восстановите доказательства основных логических законов.

8. В чем разница между подстановкой формулы вместо переменной и заменой подформул?

9. Что называют тождественными преобразованиями формул?

10. Дайте определение тавтологии и противоречия. Что такое логически истинное и логически ложное высказывание?

11. Какие свойства тавтологий Вы можете привести?

12. Приведите определения и примеры полной системы логических функций; базисной системы логических функций.

13. Дайте определения ДНФ, КНФ, СДНФ, СКНФ.

14. Что такое дискретный конечный автомат?

15. В чем главное отличие автомата с памятью от автомата без памяти?

ВВЕДЕНИЕ В МАТЕМАТИЧЕСКУЮ ЛОГИКУ 1

ВВЕДЕНИЕ 4

1. Элементы логики высказываний 5

1.1. Высказывания и операции над ними, формулы 5

1.2. Упрощение формул. Тождественные преобразования. Доказательство равносильности, тождественной истинности и тождественной ложности формул и булевых функций 14

1.3. Нормальные формы формул логики высказываний 17

1.4. Применение формул логики высказываний в теории однотактных дискретных автоматов 23

Контрольные вопросы 32