Выражение одних булевых функций через другие
Импликацию можно выразить через дизъюнкцию и отрицание:
А>В=
Размещено на http://www.allbest.ru/
В
Эквиваленцию можно выразить через отрицание, дизъюнкцию и конъюнкцию:
А-В=
Размещено на http://www.allbest.ru/
В)*(
Размещено на http://www.allbest.ru/
А)
А-В=(А*В)
Размещено на http://www.allbest.ru/
( *)
Исключающую дизъюнкцию можно выразить через отрицание, дизъюнкцию и конъюнкцию:
АВ=(А*)
Размещено на http://www.allbest.ru/
(*В)
Штрих Шеффера можно выразить через отрицание и дизъюнкцию:
А¦В=
Размещено на http://www.allbest.ru/
Стрелку Пирса можно выразить через отрицание и конъюнкцию:
АvВ=*
Далее для удобства будем использовать только четыре булевых функции: отрицание, конъюнкцию, дизъюнкцию и импликацию. Порядок их выполнения таков:
1). Отрицание
2). Конъюнкция
3). Дизъюнкция
4). Импликация
- Введение
- Глава 1. Основные понятия
- 1. Операции над логическими высказываниями
- Булевы функции
- Выражение одних булевых функций через другие
- 2. Пропозициональные формулы
- 3. Некоторые законы логики высказываний
- Глава 2. Применение аппарата алгебры логики к решению содержательных задач
- 1. Перевод выражений естественного языка на символический язык алгебры логики
- 2. Примеры перевода высказываний естественного языка на язык алгебры логики
- 3. Простейшие задачи
- 4. Парадоксы
- Заключение
- Основы алгебры логики
- 57. Алгебра логики. Основные законы алгебры логики. Применение алгебры логики в информатике.
- Тема 10.Применение аппарата алгебры логики к решению содержательных задач.
- Что такое алгебра логики?
- Алгебра логики. История логики
- 5.1. Аппарат алгебры логики
- 24.3 Функции алгебры логики
- 4.1. Основы алгебры логики
- Определение алгебры логики. Области применения