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


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

(¬X)∧(¬X):
X¬X¬X(¬X)∧(¬X)
0111
1000

((¬X)∧(¬X))∧(¬X):
X¬X¬X(¬X)∧(¬X)¬X((¬X)∧(¬X))∧(¬X)
011111
100000

(((¬X)∧(¬X))∧(¬X))∧(¬X):
X¬X¬X(¬X)∧(¬X)¬X((¬X)∧(¬X))∧(¬X)¬X(((¬X)∧(¬X))∧(¬X))∧(¬X)
01111111
10000000

((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X):
X¬X¬X(¬X)∧(¬X)¬X((¬X)∧(¬X))∧(¬X)¬X(((¬X)∧(¬X))∧(¬X))∧(¬X)¬X((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X)
0111111111
1000000000

(((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X):
X¬X¬X(¬X)∧(¬X)¬X((¬X)∧(¬X))∧(¬X)¬X(((¬X)∧(¬X))∧(¬X))∧(¬X)¬X((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X)¬X(((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X)
011111111111
100000000000

((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X):
X¬X¬X(¬X)∧(¬X)¬X((¬X)∧(¬X))∧(¬X)¬X(((¬X)∧(¬X))∧(¬X))∧(¬X)¬X((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X)¬X(((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X)¬X((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X)
01111111111111
10000000000000

(((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X:
X¬X¬X(¬X)∧(¬X)¬X((¬X)∧(¬X))∧(¬X)¬X(((¬X)∧(¬X))∧(¬X))∧(¬X)¬X((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X)¬X(((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X)¬X((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X)(((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X
011111111111110
100000000000000

((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X):
X¬X¬X(¬X)∧(¬X)¬X((¬X)∧(¬X))∧(¬X)¬X(((¬X)∧(¬X))∧(¬X))∧(¬X)¬X((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X)¬X(((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X)¬X((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X)(((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X¬X((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X)
01111111111111010
10000000000000000

(((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X):
X¬X¬X(¬X)∧(¬X)¬X((¬X)∧(¬X))∧(¬X)¬X(((¬X)∧(¬X))∧(¬X))∧(¬X)¬X((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X)¬X(((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X)¬X((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X)(((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X¬X((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X)¬X(((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X)
0111111111111101010
1000000000000000000

((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X:
X¬X¬X(¬X)∧(¬X)¬X((¬X)∧(¬X))∧(¬X)¬X(((¬X)∧(¬X))∧(¬X))∧(¬X)¬X((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X)¬X(((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X)¬X((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X)(((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X¬X((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X)¬X(((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X)((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X
01111111111111010100
10000000000000000000

(((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X)∧X:
X¬X¬X(¬X)∧(¬X)¬X((¬X)∧(¬X))∧(¬X)¬X(((¬X)∧(¬X))∧(¬X))∧(¬X)¬X((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X)¬X(((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X)¬X((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X)(((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X¬X((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X)¬X(((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X)((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X(((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X)∧X
011111111111110101000
100000000000000000000

((((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X)∧X)∧(¬X):
X¬X¬X(¬X)∧(¬X)¬X((¬X)∧(¬X))∧(¬X)¬X(((¬X)∧(¬X))∧(¬X))∧(¬X)¬X((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X)¬X(((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X)¬X((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X)(((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X¬X((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X)¬X(((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X)((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X(((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X)∧X¬X((((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X)∧X)∧(¬X)
01111111111111010100010
10000000000000000000000

(((((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X)∧X)∧(¬X))∧X:
X¬X¬X(¬X)∧(¬X)¬X((¬X)∧(¬X))∧(¬X)¬X(((¬X)∧(¬X))∧(¬X))∧(¬X)¬X((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X)¬X(((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X)¬X((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X)(((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X¬X((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X)¬X(((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X)((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X(((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X)∧X¬X((((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X)∧X)∧(¬X)(((((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X)∧X)∧(¬X))∧X
011111111111110101000100
100000000000000000000000

((((((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X)∧X)∧(¬X))∧X)∧(¬X):
X¬X¬X(¬X)∧(¬X)¬X((¬X)∧(¬X))∧(¬X)¬X(((¬X)∧(¬X))∧(¬X))∧(¬X)¬X((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X)¬X(((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X)¬X((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X)(((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X¬X((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X)¬X(((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X)((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X(((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X)∧X¬X((((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X)∧X)∧(¬X)(((((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X)∧X)∧(¬X))∧X¬X((((((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X)∧X)∧(¬X))∧X)∧(¬X)
01111111111111010100010010
10000000000000000000000000

(((((((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X)∧X)∧(¬X))∧X)∧(¬X))∧(¬X):
X¬X¬X(¬X)∧(¬X)¬X((¬X)∧(¬X))∧(¬X)¬X(((¬X)∧(¬X))∧(¬X))∧(¬X)¬X((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X)¬X(((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X)¬X((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X)(((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X¬X((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X)¬X(((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X)((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X(((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X)∧X¬X((((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X)∧X)∧(¬X)(((((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X)∧X)∧(¬X))∧X¬X((((((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X)∧X)∧(¬X))∧X)∧(¬X)¬X(((((((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X)∧X)∧(¬X))∧X)∧(¬X))∧(¬X)
0111111111111101010001001010
1000000000000000000000000000

Y≡((((((((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X)∧X)∧(¬X))∧X)∧(¬X))∧(¬X)):
YX¬X¬X(¬X)∧(¬X)¬X((¬X)∧(¬X))∧(¬X)¬X(((¬X)∧(¬X))∧(¬X))∧(¬X)¬X((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X)¬X(((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X)¬X((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X)(((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X¬X((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X)¬X(((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X)((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X(((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X)∧X¬X((((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X)∧X)∧(¬X)(((((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X)∧X)∧(¬X))∧X¬X((((((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X)∧X)∧(¬X))∧X)∧(¬X)¬X(((((((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X)∧X)∧(¬X))∧X)∧(¬X))∧(¬X)Y≡((((((((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X)∧X)∧(¬X))∧X)∧(¬X))∧(¬X))
001111111111111010100010010101
010000000000000000000000000001
101111111111111010100010010100
110000000000000000000000000000

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

YX¬X(¬X)∧(¬X)((¬X)∧(¬X))∧(¬X)(((¬X)∧(¬X))∧(¬X))∧(¬X)((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X)(((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X)((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X)(((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X)(((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X)((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X(((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X)∧X((((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X)∧X)∧(¬X)(((((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X)∧X)∧(¬X))∧X((((((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X)∧X)∧(¬X))∧X)∧(¬X)(((((((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X)∧X)∧(¬X))∧X)∧(¬X))∧(¬X)Y≡¬X∧¬X∧¬X∧¬X∧¬X∧¬X∧¬X∧X∧¬X∧¬X∧X∧X∧¬X∧X∧¬X∧¬X
0011111110000000001
0100000000000000001
1011111110000000000
1100000000000000000

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

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

По таблице истинности:
YXF
001
011
100
110
Fсднф = ¬Y∧¬X ∨ ¬Y∧X
Логическая cхема:

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

По таблице истинности:
YXF
001
011
100
110
Fскнф = (¬Y∨X) ∧ (¬Y∨¬X)
Логическая cхема:

Построение полинома Жегалкина:

По таблице истинности функции
YXFж
001
011
100
110

Построим полином Жегалкина:
Fж = C00 ⊕ C10∧Y ⊕ C01∧X ⊕ C11∧Y∧X

Так как Fж(00) = 1, то С00 = 1.

Далее подставляем все остальные наборы в порядке возрастания числа единиц, подставляя вновь полученные значения в следующие формулы:
Fж(10) = С00 ⊕ С10 = 0 => С10 = 1 ⊕ 0 = 1
Fж(01) = С00 ⊕ С01 = 1 => С01 = 1 ⊕ 1 = 0
Fж(11) = С00 ⊕ С10 ⊕ С01 ⊕ С11 = 0 => С11 = 1 ⊕ 1 ⊕ 0 ⊕ 0 = 0

Таким образом, полином Жегалкина будет равен:
Fж = 1 ⊕ Y
Логическая схема, соответствующая полиному Жегалкина:

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

Рейтинг@Mail.ru

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