Для функции XY→XY:


Промежуточные таблицы истинности:
XY→XY:
XYXY→XY
01
11

Общая таблица истинности:

XYXY→XY
01
11


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

По таблице истинности:
XYF
01
11
Fсднф = ¬XY ∨ XY

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

По таблице истинности:
XYF
01
11
В таблице истинности нет набора значений переменных при которых функция ложна!

Это интересно...

Наши контакты

Рейтинг@Mail.ru

© 2009-2020, Список Литературы