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


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

X→(¬Y):
XY¬YX→(¬Y)
0011
0101
1011
1100

(X→(¬Y))|Z:
XYZ¬YX→(¬Y)(X→(¬Y))|Z
000111
001110
010011
011010
100111
101110
110001
111001

X∧Y:
XYX∧Y
000
010
100
111

¬(X∧Y):
XYX∧Y¬(X∧Y)
0001
0101
1001
1110

((X→(¬Y))|Z)⊕(¬(X∧Y)):
XYZ¬YX→(¬Y)(X→(¬Y))|ZX∧Y¬(X∧Y)((X→(¬Y))|Z)⊕(¬(X∧Y))
000111010
001110011
010011010
011010011
100111010
101110011
110001101
111001101

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

XYZ¬YX→(¬Y)(X→(¬Y))|ZX∧Y¬(X∧Y)((X→¬Y)|Z)⊕¬(X∧Y)
000111010
001110011
010011010
011010011
100111010
101110011
110001101
111001101


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

По таблице истинности:
XYZF
0000
0011
0100
0111
1000
1011
1101
1111
Fсднф = ¬X∧¬Y∧Z ∨ ¬X∧Y∧Z ∨ X∧¬Y∧Z ∨ X∧Y∧¬Z ∨ X∧Y∧Z

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

По таблице истинности:
XYZF
0000
0011
0100
0111
1000
1011
1101
1111
Fскнф = (X∨Y∨Z) ∧ (X∨¬Y∨Z) ∧ (¬X∨Y∨Z)

Наши друзья

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

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

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

Рейтинг@Mail.ru

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