Для функции (X∨¬Y)≡(Y↓X):


Промежуточные таблицы истинности:
¬Y:
Y¬Y
01
10

X∨(¬Y):
XY¬YX∨(¬Y)
0011
0100
1011
1101

Y↓X:
YXY↓X
001
010
100
110

(X∨(¬Y))≡(Y↓X):
XY¬YX∨(¬Y)Y↓X(X∨(¬Y))≡(Y↓X)
001111
010001
101100
110100

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

XY¬YX∨(¬Y)Y↓X(X∨¬Y)≡(Y↓X)
001111
010001
101100
110100


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

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

Наши друзья

Качественное решение задач курсовых работ, РГЗ по техническим предметам.
botaniks.ru

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

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

Рейтинг@Mail.ru

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