Тема 1
1.Основные равносильности
-
-
Докажем один из законов поглощения. Рассмотрим формулу А = х˄ (у ˅ х). Если в этой формуле х= 1 то, очевидно, у ˅ х = 1 и тогда х˄(у ˅ х)= 1 как конъюнкция двух истинных высказываний. Пусть теперь в формуле А х = 0. Но тогда по определению операции конъюнкции будет ложной и конъюнкция х& (у v х). Итак, во всех случаях значения формулы А совпадают со значениями х, а поэтому А = х.
-
Содержание
- Тема 1. История возникновения логики.
- Тема 4.Формула алгебры логики. Таблица истинности.
- 1.Основные равносильности
- 2.Равносильности, выражающие одни логические законы через другие:
- З.Равносильности, выражающие основные законы алгебры логики:
- Тема 7.Дизъюнктивная нормальная форма(днф)
- Тема 8. Конъюнктивная нормальная форма(кнф)
- Тема 9.Приложение алгебры логики в технике (релейно-контактные схемы)
- Тема 10.Применение аппарата алгебры логики к решению содержательных задач.