Таблица истинности для функции ¬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

X∧X3:
XX3X∧X3
000
010
100
111

(¬X3)∨X2:
X3X2¬X3(¬X3)∨X2
0011
0111
1000
1101

((¬X3)∨X2)∨(X∧X3):
X3X2X¬X3(¬X3)∨X2X∧X3((¬X3)∨X2)∨(X∧X3)
0001101
0011101
0101101
0111101
1000000
1010011
1100101
1110111

(((¬X3)∨X2)∨(X∧X3))∨(¬X2):
X3X2X¬X3(¬X3)∨X2X∧X3((¬X3)∨X2)∨(X∧X3)¬X2(((¬X3)∨X2)∨(X∧X3))∨(¬X2)
000110111
001110111
010110101
011110101
100000011
101001111
110010101
111011101

((((¬X3)∨X2)∨(X∧X3))∨(¬X2))∨(¬X):
X3X2X¬X3(¬X3)∨X2X∧X3((¬X3)∨X2)∨(X∧X3)¬X2(((¬X3)∨X2)∨(X∧X3))∨(¬X2)¬X((((¬X3)∨X2)∨(X∧X3))∨(¬X2))∨(¬X)
00011011111
00111011101
01011010111
01111010101
10000001111
10100111101
11001010111
11101110101

¬X1:
X1¬X1
01
10

(¬X1)∧(((((¬X3)∨X2)∨(X∧X3))∨(¬X2))∨(¬X)):
X1X3X2X¬X1¬X3(¬X3)∨X2X∧X3((¬X3)∨X2)∨(X∧X3)¬X2(((¬X3)∨X2)∨(X∧X3))∨(¬X2)¬X((((¬X3)∨X2)∨(X∧X3))∨(¬X2))∨(¬X)(¬X1)∧(((((¬X3)∨X2)∨(X∧X3))∨(¬X2))∨(¬X))
00001110111111
00011110111011
00101110101111
00111110101011
01001000011111
01011001111011
01101010101111
01111011101011
10000110111110
10010110111010
10100110101110
10110110101010
11000000011110
11010001111010
11100010101110
11110011101010

((¬X1)∧(((((¬X3)∨X2)∨(X∧X3))∨(¬X2))∨(¬X)))∧X3:
X1X3X2X¬X1¬X3(¬X3)∨X2X∧X3((¬X3)∨X2)∨(X∧X3)¬X2(((¬X3)∨X2)∨(X∧X3))∨(¬X2)¬X((((¬X3)∨X2)∨(X∧X3))∨(¬X2))∨(¬X)(¬X1)∧(((((¬X3)∨X2)∨(X∧X3))∨(¬X2))∨(¬X))((¬X1)∧(((((¬X3)∨X2)∨(X∧X3))∨(¬X2))∨(¬X)))∧X3
000011101111110
000111101110110
001011101011110
001111101010110
010010000111111
010110011110111
011010101011111
011110111010111
100001101111100
100101101110100
101001101011100
101101101010100
110000000111100
110100011110100
111000101011100
111100111010100

(((¬X1)∧(((((¬X3)∨X2)∨(X∧X3))∨(¬X2))∨(¬X)))∧X3)∨(¬X2):
X1X3X2X¬X1¬X3(¬X3)∨X2X∧X3((¬X3)∨X2)∨(X∧X3)¬X2(((¬X3)∨X2)∨(X∧X3))∨(¬X2)¬X((((¬X3)∨X2)∨(X∧X3))∨(¬X2))∨(¬X)(¬X1)∧(((((¬X3)∨X2)∨(X∧X3))∨(¬X2))∨(¬X))((¬X1)∧(((((¬X3)∨X2)∨(X∧X3))∨(¬X2))∨(¬X)))∧X3¬X2(((¬X1)∧(((((¬X3)∨X2)∨(X∧X3))∨(¬X2))∨(¬X)))∧X3)∨(¬X2)
00001110111111011
00011110111011011
00101110101111000
00111110101011000
01001000011111111
01011001111011111
01101010101111101
01111011101011101
10000110111110011
10010110111010011
10100110101110000
10110110101010000
11000000011110011
11010001111010011
11100010101110000
11110011101010000

((((¬X1)∧(((((¬X3)∨X2)∨(X∧X3))∨(¬X2))∨(¬X)))∧X3)∨(¬X2))∨X1:
X1X3X2X¬X1¬X3(¬X3)∨X2X∧X3((¬X3)∨X2)∨(X∧X3)¬X2(((¬X3)∨X2)∨(X∧X3))∨(¬X2)¬X((((¬X3)∨X2)∨(X∧X3))∨(¬X2))∨(¬X)(¬X1)∧(((((¬X3)∨X2)∨(X∧X3))∨(¬X2))∨(¬X))((¬X1)∧(((((¬X3)∨X2)∨(X∧X3))∨(¬X2))∨(¬X)))∧X3¬X2(((¬X1)∧(((((¬X3)∨X2)∨(X∧X3))∨(¬X2))∨(¬X)))∧X3)∨(¬X2)((((¬X1)∧(((((¬X3)∨X2)∨(X∧X3))∨(¬X2))∨(¬X)))∧X3)∨(¬X2))∨X1
000011101111110111
000111101110110111
001011101011110000
001111101010110000
010010000111111111
010110011110111111
011010101011111011
011110111010111011
100001101111100111
100101101110100111
101001101011100001
101101101010100001
110000000111100111
110100011110100111
111000101011100001
111100111010100001

(((((¬X1)∧(((((¬X3)∨X2)∨(X∧X3))∨(¬X2))∨(¬X)))∧X3)∨(¬X2))∨X1)∨(¬X):
X1X3X2X¬X1¬X3(¬X3)∨X2X∧X3((¬X3)∨X2)∨(X∧X3)¬X2(((¬X3)∨X2)∨(X∧X3))∨(¬X2)¬X((((¬X3)∨X2)∨(X∧X3))∨(¬X2))∨(¬X)(¬X1)∧(((((¬X3)∨X2)∨(X∧X3))∨(¬X2))∨(¬X))((¬X1)∧(((((¬X3)∨X2)∨(X∧X3))∨(¬X2))∨(¬X)))∧X3¬X2(((¬X1)∧(((((¬X3)∨X2)∨(X∧X3))∨(¬X2))∨(¬X)))∧X3)∨(¬X2)((((¬X1)∧(((((¬X3)∨X2)∨(X∧X3))∨(¬X2))∨(¬X)))∧X3)∨(¬X2))∨X1¬X(((((¬X1)∧(((((¬X3)∨X2)∨(X∧X3))∨(¬X2))∨(¬X)))∧X3)∨(¬X2))∨X1)∨(¬X)
00001110111111011111
00011110111011011101
00101110101111000011
00111110101011000000
01001000011111111111
01011001111011111101
01101010101111101111
01111011101011101101
10000110111110011111
10010110111010011101
10100110101110000111
10110110101010000101
11000000011110011111
11010001111010011101
11100010101110000111
11110011101010000101

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

X1X3X2X¬X3¬X2¬XX∧X3(¬X3)∨X2((¬X3)∨X2)∨(X∧X3)(((¬X3)∨X2)∨(X∧X3))∨(¬X2)((((¬X3)∨X2)∨(X∧X3))∨(¬X2))∨(¬X)¬X1(¬X1)∧(((((¬X3)∨X2)∨(X∧X3))∨(¬X2))∨(¬X))((¬X1)∧(((((¬X3)∨X2)∨(X∧X3))∨(¬X2))∨(¬X)))∧X3(((¬X1)∧(((((¬X3)∨X2)∨(X∧X3))∨(¬X2))∨(¬X)))∧X3)∨(¬X2)((((¬X1)∧(((((¬X3)∨X2)∨(X∧X3))∨(¬X2))∨(¬X)))∧X3)∨(¬X2))∨X1¬X1∧(¬X3∨X2∨X∧X3∨¬X2∨¬X)∧X3∨¬X2∨X1∨¬X
000011101111110111
000111001111110111
001010101111110001
001110001111110000
010001100011111111
010101010111111111
011000101111111111
011100011111111111
100011101111000111
100111001111000111
101010101111000011
101110001111000011
110001100011000111
110101010111000111
111000101111000011
111100011111000011

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

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

По таблице истинности:
X1X3X2XF
00001
00011
00101
00110
01001
01011
01101
01111
10001
10011
10101
10111
11001
11011
11101
11111
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 ∨ X1∧X3∧X2∧¬X ∨ X1∧X3∧X2∧X
Логическая cхема:

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

По таблице истинности:
X1X3X2XF
00001
00011
00101
00110
01001
01011
01101
01111
10001
10011
10101
10111
11001
11011
11101
11111
Fскнф = (X1∨X3∨¬X2∨¬X)
Логическая cхема:

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

По таблице истинности функции
X1X3X2XFж
00001
00011
00101
00110
01001
01011
01101
01111
10001
10011
10101
10111
11001
11011
11101
11111

Построим полином Жегалкина:
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) = 1, то С0000 = 1.

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

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

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

Рейтинг@Mail.ru

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