Таблица истинности для функции (¬X)∧Y≡Y:


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

XY¬X(¬X)∧Y(¬X)∧Y≡Y
00101
01111
10001
11000


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

По таблице истинности:
XYF
001
011
101
110
Fсднф = ¬X∧¬Y ∨ ¬X∧Y ∨ X∧¬Y

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

По таблице истинности:
XYF
001
011
101
110
Fскнф = (¬X∨¬Y)

Околостуденческое

Рейтинг@Mail.ru

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