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


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

XYZ¬YX∧(¬Y)¬X¬Z(¬X)∧(¬Z)(X∧¬Y)∨(¬X∧¬Z)
000101111
001101000
010001111
011001000
100110101
101110001
110000100
111000000


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

По таблице истинности:
XYZF
0001
0010
0101
0110
1001
1011
1100
1110
Fсднф = ¬X∧¬Y∧¬Z ∨ ¬X∧Y∧¬Z ∨ X∧¬Y∧¬Z ∨ X∧¬Y∧Z

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

По таблице истинности:
XYZF
0001
0010
0101
0110
1001
1011
1100
1110
Fскнф = (X∨Y∨¬Z) ∧ (X∨¬Y∨¬Z) ∧ (¬X∨¬Y∨Z) ∧ (¬X∨¬Y∨¬Z)

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

Рейтинг@Mail.ru

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