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


Промежуточные таблицы истинности:
X|Y:
XYX|Y
001
011
101
110

¬X:
X¬X
01
10

Z∧(¬X):
ZX¬XZ∧(¬X)
0010
0100
1011
1100

Y→(Z∧(¬X)):
YZX¬XZ∧(¬X)Y→(Z∧(¬X))
000101
001001
010111
011001
100100
101000
110111
111000

(X|Y)⊕(Y→(Z∧(¬X))):
XYZX|Y¬XZ∧(¬X)Y→(Z∧(¬X))(X|Y)⊕(Y→(Z∧(¬X)))
00011010
00111110
01011001
01111110
10010010
10110010
11000000
11100000

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

XYZX|Y¬XZ∧(¬X)Y→(Z∧(¬X))(X|Y)⊕(Y→Z∧¬X)
00011010
00111110
01011001
01111110
10010010
10110010
11000000
11100000


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

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

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

Рейтинг@Mail.ru

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