Применение аппарата алгебры логики к решению содержательных задач

контрольная работа

Выражение одних булевых функций через другие

Импликацию можно выразить через дизъюнкцию и отрицание:

А>В=

Размещено на 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). Импликация

Делись добром ;)