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

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

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

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

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

Х1 X2 ¬X1 Х1∧Х2 X1vX2 X1⇒X2 Х1⇔Х2 X1| X2 Х1 ↓ 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

ОСТАВЬТЕ ОТВЕТ

Please enter your comment!
Please enter your name here