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


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

XYX≡YX∧Y(X≡Y)→X∧Y
00100
01001
10001
11111


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

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

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

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

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

Рейтинг@Mail.ru

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