Булевы функции и их формы представления (Таблица)

Булевы функции

Булева функция ƒ(X1, Х2,...,Хn) - n-местная функция, аргументы и значения которой принадлежат множеству {0,1}.

Если логические высказывания могут принимать значения истинно или ложно, то для булевой функции аналогами этих значений будут значения 1 или 0. Для булевых функций справедливы таблицы истинности и основные равносильности алгебры высказываний. Дополнительно вводятся операции:    Х12=Х1∧Х2    - штрих Шеффера и X1↓X2=X1vX2- стрелка Пирса.

Х1

X2

 ¬X1

Х1∧Х2

X1vX2

X1⇒X2

Х1⇔Х2

X1| X2

Х↓ X2

1

1

0

1

1

1

1

0

0

1

0

0

0

1

0

0

1

0

0

1

1

0

1

1

0

1

0

0

0

1

0

0

1

1

1

1

Формы представления булевых функций

mat 13 31

Совершенные формы

Формула

Совершенная конъюнктивная нормальная форма (СКНФ)— конъюнкция конституент нуля

mat 13 32

Совершенная дизъюнктивная нормальная форма (СДНФ) -дизъюнкция конституент единицы

mat 13 33

Пример.

mat 13 34

mat 13 35

Поделитесь ссылкой с друзьями:

Комментарии:

Подписываемся на обновления!
  vk ok tw te  

Главная    |   Обратная связь    |   Карта сайта

Copyright © 2013 - 2024. Копирование материала с сайта возможно только при наличие активной индексируемой ссылки на https://infotables.ru

Информация, размещенная на сайте, предоставлена в целях ознакомления. Владельцы сайта infotables.ru не несут ответственности за риски, связанные с использованием информации, полученной с этого cайта.

 вконтакте   однокласники   tw   te