Содержание
- 2. Логика Логика – это наука о формах и законах человеческой мысли, о законах доказательных рассуждений, изучающая
- 3. Алгебра логики Алгебра логики — это математический аппарат, с помощью которого записывают, вычисляют, упрощают и преобразовывают
- 4. Основные логические связки
- 5. Таблица истинности Таблица истинности логической формулы выражает соответствие между всевозможными наборами значений переменных и значениями формулы.
- 6. Основные логические операции КОНЪЮНКЦИЯ Соответствует союзу И; Обозначение &; В языках программирования and; Название: Логическое умножение.
- 7. Основные логические операции ДИЗЪЮНКЦИЯ Соответствует союзу ИЛИ; Обозначение V; В языках программирования or; Название: Логическое сложение.
- 8. Порядок выполнения логических операций Порядок выполнения логических операций задается круглыми скобками. Но для уменьшения числа скобок
- 9. Логическая формула Определение логической формулы: Всякая логическая переменная и символы «истина» («1») и «ложь» («0») -
- 10. Тавтология Некоторые формулы принимают значение «истина» при любых значениях истинности входящих в них переменных. Например, формула
- 11. Тождественная истина При всех наборах значений переменных x и y формула принимает значение 1, то есть
- 12. Тождественная ложь В качестве другого примера рассмотрим формулу А • а , которой соответствует, например, высказывание
- 13. Тождественная ложь При всех наборах значений переменных x и y формула принимает значение 0, то есть
- 14. Выполнимая формула Формула в некоторых случаях принимает значение 1, а в некоторых - 0, то есть
- 16. Скачать презентацию