
Добавил:
Fenix
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз:
Предмет:
Файл:Презентация на тему Алгебра высказываний (логические операции).ppt
X
- •Основы логики
- •Алгебра высказываний
- •Логические переменные
- •Логические переменные
- •В алгебре высказываний
- •В алгебре высказываний над
- •Составные высказывания
- •Логические операции
- •Объединение двух или нескольких высказываний в одно с помощью союза «И» называется операцией
- •Логическая функция, полученная в результате
- •Конъюнкция. Определите истинность логической функции
- •Запись конъюнкции на формальном языке алгебры высказываний
- •Значение логической функции определяется по ее таблице истинности
- •Таблица истинности для конъюнкции
- •Таблица истинности для конъюнкции
- •Объединение двух или нескольких высказываний в одно с помощью союза «ИЛИ» называется операцией
- •Логическая функция, полученная в результате
- •Дизъюнкция. Определите истинность логической функции
- •Запись дизъюнкции на формальном языке алгебры высказываний
- •Таблица истинности для дизъюнкции
- •Таблица истинности для дизъюнкции
- •Присоединение частицы «НЕ» к высказыванию называется
- •Логическое отрицание (инверсия) делает истинное высказывание ложным, а ложное – истинным
- •Инверсия
- •Запись инверсии на формальном языке алгебры высказываний
- •Таблица истинности для инверсии
- •Таблицы истинности основных логических функций
- •Дополнительные логические функции
- •Импликация
- •Импликация
- •Таблица истинности для импликации
- •Эквивалентность
- •Таблица истинности для эквивалентности
- •Основные
- •Основные
- •Основные
- •Основные
- •Основные
- •Основные
- •Основные
- •Основные законы алгебры высказываний
- •Основные законы алгебры высказываний
- •Основные законы алгебры высказываний
- •Порядок действий

Основные
законы алгебры
высказываний 
Переменная со своей инверсией
Дизъюнкция:
X ¬X ≡ 1
Конъюнкция:
X ¬X ≡ 0

Основные
законы алгебры
высказываний 
Операция с константами
Дизъюнкция: |
|
X 0 ≡ X, |
X 1 ≡ 1 |
Конъюнкция: |
|
X 0 ≡ 0, |
X 1 ≡ X |

Основные
законы алгебры
высказываний 
Двойного отрицания
¬(¬X) ≡ X

Порядок действий
1.Действия в скобках
2.Отрицание
3.Конъюнкция
4.Дизъюнкция
5.Импликация
6.Эквивалентность
Соседние файлы в предмете Информатика