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


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

¬X2:
X2¬X2
01
10

¬X:
X¬X
01
10

(¬X3)∧X2:
X3X2¬X3(¬X3)∧X2
0010
0111
1000
1100

((¬X3)∧X2)∧X:
X3X2X¬X3(¬X3)∧X2((¬X3)∧X2)∧X
000100
001100
010110
011111
100000
101000
110000
111000

X3∧(¬X2):
X3X2¬X2X3∧(¬X2)
0010
0100
1011
1100

(X3∧(¬X2))∧(¬X):
X3X2X¬X2X3∧(¬X2)¬X(X3∧(¬X2))∧(¬X)
0001010
0011000
0100010
0110000
1001111
1011100
1100010
1110000

(((¬X3)∧X2)∧X)∨((X3∧(¬X2))∧(¬X)):
X3X2X¬X3(¬X3)∧X2((¬X3)∧X2)∧X¬X2X3∧(¬X2)¬X(X3∧(¬X2))∧(¬X)(((¬X3)∧X2)∧X)∨((X3∧(¬X2))∧(¬X))
00010010100
00110010000
01011000100
01111100001
10000011111
10100011000
11000000100
11100000000

¬X1:
X1¬X1
01
10

(¬X1)∧((((¬X3)∧X2)∧X)∨((X3∧(¬X2))∧(¬X))):
X1X3X2X¬X1¬X3(¬X3)∧X2((¬X3)∧X2)∧X¬X2X3∧(¬X2)¬X(X3∧(¬X2))∧(¬X)(((¬X3)∧X2)∧X)∨((X3∧(¬X2))∧(¬X))(¬X1)∧((((¬X3)∧X2)∧X)∨((X3∧(¬X2))∧(¬X)))
00001100101000
00011100100000
00101110001000
00111111000011
01001000111111
01011000110000
01101000001000
01111000000000
10000100101000
10010100100000
10100110001000
10110111000010
11000000111110
11010000110000
11100000001000
11110000000000

(X3∧(¬X2))∧X1:
X3X2X1¬X2X3∧(¬X2)(X3∧(¬X2))∧X1
000100
001100
010000
011000
100110
101111
110000
111000

((X3∧(¬X2))∧X1)∧(¬X):
X3X2X1X¬X2X3∧(¬X2)(X3∧(¬X2))∧X1¬X((X3∧(¬X2))∧X1)∧(¬X)
000010010
000110000
001010010
001110000
010000010
010100000
011000010
011100000
100011010
100111000
101011111
101111100
110000010
110100000
111000010
111100000

((¬X1)∧((((¬X3)∧X2)∧X)∨((X3∧(¬X2))∧(¬X))))∨(((X3∧(¬X2))∧X1)∧(¬X)):
X1X3X2X¬X1¬X3(¬X3)∧X2((¬X3)∧X2)∧X¬X2X3∧(¬X2)¬X(X3∧(¬X2))∧(¬X)(((¬X3)∧X2)∧X)∨((X3∧(¬X2))∧(¬X))(¬X1)∧((((¬X3)∧X2)∧X)∨((X3∧(¬X2))∧(¬X)))¬X2X3∧(¬X2)(X3∧(¬X2))∧X1¬X((X3∧(¬X2))∧X1)∧(¬X)((¬X1)∧((((¬X3)∧X2)∧X)∨((X3∧(¬X2))∧(¬X))))∨(((X3∧(¬X2))∧X1)∧(¬X))
00001100101000100100
00011100100000100000
00101110001000000100
00111111000011000001
01001000111111110101
01011000110000110000
01101000001000000100
01111000000000000000
10000100101000100100
10010100100000100000
10100110001000000100
10110111000010000000
11000000111110111111
11010000110000111000
11100000001000000100
11110000000000000000

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

X1X3X2X¬X3¬X2¬X(¬X3)∧X2((¬X3)∧X2)∧XX3∧(¬X2)(X3∧(¬X2))∧(¬X)(((¬X3)∧X2)∧X)∨((X3∧(¬X2))∧(¬X))¬X1(¬X1)∧((((¬X3)∧X2)∧X)∨((X3∧(¬X2))∧(¬X)))(X3∧(¬X2))∧X1((X3∧(¬X2))∧X1)∧(¬X)¬X1∧(¬X3∧X2∧X∨X3∧¬X2∧¬X)∨X3∧¬X2∧X1∧¬X
00001110000010000
00011100000010000
00101011000010000
00111001100111001
01000110011111001
01010100010010000
01100010000010000
01110000000010000
10001110000000000
10011100000000000
10101011000000000
10111001100100000
11000110011100111
11010100010000100
11100010000000000
11110000000000000

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

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

По таблице истинности:
X1X3X2XF
00000
00010
00100
00111
01001
01010
01100
01110
10000
10010
10100
10110
11001
11010
11100
11110
Fсднф = ¬X1∧¬X3∧X2∧X ∨ ¬X1∧X3∧¬X2∧¬X ∨ X1∧X3∧¬X2∧¬X
Логическая cхема:

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

По таблице истинности:
X1X3X2XF
00000
00010
00100
00111
01001
01010
01100
01110
10000
10010
10100
10110
11001
11010
11100
11110
Fскнф = (X1∨X3∨X2∨X) ∧ (X1∨X3∨X2∨¬X) ∧ (X1∨X3∨¬X2∨X) ∧ (X1∨¬X3∨X2∨¬X) ∧ (X1∨¬X3∨¬X2∨X) ∧ (X1∨¬X3∨¬X2∨¬X) ∧ (¬X1∨X3∨X2∨X) ∧ (¬X1∨X3∨X2∨¬X) ∧ (¬X1∨X3∨¬X2∨X) ∧ (¬X1∨X3∨¬X2∨¬X) ∧ (¬X1∨¬X3∨X2∨¬X) ∧ (¬X1∨¬X3∨¬X2∨X) ∧ (¬X1∨¬X3∨¬X2∨¬X)
Логическая cхема:

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

По таблице истинности функции
X1X3X2XFж
00000
00010
00100
00111
01001
01010
01100
01110
10000
10010
10100
10110
11001
11010
11100
11110

Построим полином Жегалкина:
Fж = C0000 ⊕ C1000∧X1 ⊕ C0100∧X3 ⊕ C0010∧X2 ⊕ C0001∧X ⊕ C1100∧X1∧X3 ⊕ C1010∧X1∧X2 ⊕ C1001∧X1∧X ⊕ C0110∧X3∧X2 ⊕ C0101∧X3∧X ⊕ C0011∧X2∧X ⊕ C1110∧X1∧X3∧X2 ⊕ C1101∧X1∧X3∧X ⊕ C1011∧X1∧X2∧X ⊕ C0111∧X3∧X2∧X ⊕ C1111∧X1∧X3∧X2∧X

Так как Fж(0000) = 0, то С0000 = 0.

Далее подставляем все остальные наборы в порядке возрастания числа единиц, подставляя вновь полученные значения в следующие формулы:
Fж(1000) = С0000 ⊕ С1000 = 0 => С1000 = 0 ⊕ 0 = 0
Fж(0100) = С0000 ⊕ С0100 = 1 => С0100 = 0 ⊕ 1 = 1
Fж(0010) = С0000 ⊕ С0010 = 0 => С0010 = 0 ⊕ 0 = 0
Fж(0001) = С0000 ⊕ С0001 = 0 => С0001 = 0 ⊕ 0 = 0
Fж(1100) = С0000 ⊕ С1000 ⊕ С0100 ⊕ С1100 = 1 => С1100 = 0 ⊕ 0 ⊕ 1 ⊕ 1 = 0
Fж(1010) = С0000 ⊕ С1000 ⊕ С0010 ⊕ С1010 = 0 => С1010 = 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
Fж(1001) = С0000 ⊕ С1000 ⊕ С0001 ⊕ С1001 = 0 => С1001 = 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
Fж(0110) = С0000 ⊕ С0100 ⊕ С0010 ⊕ С0110 = 0 => С0110 = 0 ⊕ 1 ⊕ 0 ⊕ 0 = 1
Fж(0101) = С0000 ⊕ С0100 ⊕ С0001 ⊕ С0101 = 0 => С0101 = 0 ⊕ 1 ⊕ 0 ⊕ 0 = 1
Fж(0011) = С0000 ⊕ С0010 ⊕ С0001 ⊕ С0011 = 1 => С0011 = 0 ⊕ 0 ⊕ 0 ⊕ 1 = 1
Fж(1110) = С0000 ⊕ С1000 ⊕ С0100 ⊕ С0010 ⊕ С1100 ⊕ С1010 ⊕ С0110 ⊕ С1110 = 0 => С1110 = 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 = 0
Fж(1101) = С0000 ⊕ С1000 ⊕ С0100 ⊕ С0001 ⊕ С1100 ⊕ С1001 ⊕ С0101 ⊕ С1101 = 0 => С1101 = 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 = 0
Fж(1011) = С0000 ⊕ С1000 ⊕ С0010 ⊕ С0001 ⊕ С1010 ⊕ С1001 ⊕ С0011 ⊕ С1011 = 0 => С1011 = 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 = 1
Fж(0111) = С0000 ⊕ С0100 ⊕ С0010 ⊕ С0001 ⊕ С0110 ⊕ С0101 ⊕ С0011 ⊕ С0111 = 0 => С0111 = 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 1 ⊕ 1 ⊕ 0 = 0
Fж(1111) = С0000 ⊕ С1000 ⊕ С0100 ⊕ С0010 ⊕ С0001 ⊕ С1100 ⊕ С1010 ⊕ С1001 ⊕ С0110 ⊕ С0101 ⊕ С0011 ⊕ С1110 ⊕ С1101 ⊕ С1011 ⊕ С0111 ⊕ С1111 = 0 => С1111 = 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 1 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 = 1

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

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

Рейтинг@Mail.ru

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