Crowdly

диз’юнкція

заперечення

диз’юнктивна сума (додавання за модулем 2)

Нижче

наведена таблиця істинності задає функцію

яка є :

x	0	1	1
y	1	0	1
f	0	0	1

імплікацією

еквівалентністю

диз’юнкцією

кон'юнкцією

Теорема Поста

наводить умови

незалежності булевих функцій

мінімальності базису булевих функцій

функціональної повноти системи булевих функцій

залежності булевих функцій

Булева

алгебра

побудова з використанням:

сталої 1, диз’юнкції, кон’юнкції

імплікації, заперечення, сталої 0

сталої 0, диз’юнкції, кон’юнкції

диз’юнкції, кон’юнкції, заперечення

Для побудови

досконалої кон’юнктивної нормальної форми булевої функції за таблицею

істинності виконують наступні дії:

якщо змінна в кортежі дорівнює 1, то у формулу вона записується із запереченням

обирають ті кортежі, де функція дорівнює 0

обирають ті кортежі, де функція дорівнює 1

якщо змінна в кортежі дорівнює 0, то у формулу вона записується із запереченням

Тупиковою ДНФ заданої булевої функції є:

диз’юнкція простих імплікант, жодну з яких вилучити не можна

кон’юнкція простих імплікант, жодну з яких вилучити не можна

диз’юнктивна сума простих імплікант, жодну з яких вилучити не можна

f зберігає одиницю, якщо:

Булева

функція

f(0,…,0) = 1

f(0,…,0) = 0

f(1,…,1) = 0

f(1,…,1) = 1

Булева

функція є лінійною, якщо:

її канонічний поліном Жегалкіна має тільки операції диз’юнктивної суми

жодне з наведеного вище

її канонічний поліном Жегалкіна не містить кон’юнкцій

її канонічний поліном Жегалкіна не містить однакових змінних