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


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

XYZX∧YX∧ZY∧Z¬(X∧Y)¬(X∧Z)¬(Y∧Z)(¬(X∧Y))∨(¬(X∧Z))((¬(X∧Y))∨(¬(X∧Z)))∨(¬(Y∧Z))¬(¬(X∧Y)∨¬(X∧Z)∨¬(Y∧Z))
000000111110
001000111110
010000111110
011001110110
100000111110
101010101110
110100011110
111111000001

Логическая схема:

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

По таблице истинности:
XYZF
0000
0010
0100
0110
1000
1010
1100
1111
Fсднф = X∧Y∧Z
Логическая cхема:

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

По таблице истинности:
XYZF
0000
0010
0100
0110
1000
1010
1100
1111
Fскнф = (X∨Y∨Z) ∧ (X∨Y∨¬Z) ∧ (X∨¬Y∨Z) ∧ (X∨¬Y∨¬Z) ∧ (¬X∨Y∨Z) ∧ (¬X∨Y∨¬Z) ∧ (¬X∨¬Y∨Z)
Логическая cхема:

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

Рейтинг@Mail.ru

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