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


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

XYZ¬X(¬X)∧YZ∧X(¬X∧Y)→(Z∧X)
0001001
0011001
0101100
0111100
1000001
1010011
1100001
1110011


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

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

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

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

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

Рейтинг@Mail.ru

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