Для функции X∧(¬Y⊕Z):


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

(¬Y)⊕Z:
YZ¬Y(¬Y)⊕Z
0011
0110
1000
1101

X∧((¬Y)⊕Z):
XYZ¬Y(¬Y)⊕ZX∧((¬Y)⊕Z)
000110
001100
010000
011010
100111
101100
110000
111011

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

XYZ¬Y(¬Y)⊕ZX∧(¬Y⊕Z)
000110
001100
010000
011010
100111
101100
110000
111011


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

По таблице истинности:
XYZF
0000
0010
0100
0110
1001
1010
1100
1111
Fсднф = X∧¬Y∧¬Z ∨ X∧Y∧Z

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

По таблице истинности:
XYZF
0000
0010
0100
0110
1001
1010
1100
1111
Fскнф = (X∨Y∨Z) ∧ (X∨Y∨¬Z) ∧ (X∨¬Y∨Z) ∧ (X∨¬Y∨¬Z) ∧ (¬X∨Y∨¬Z) ∧ (¬X∨¬Y∨Z)

Наши друзья

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

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

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

Рейтинг@Mail.ru

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