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


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

X2∧X3:
X2X3X2∧X3
000
010
100
111

(X2∧X3)∧(¬X4):
X2X3X4X2∧X3¬X4(X2∧X3)∧(¬X4)
000010
001000
010010
011000
100010
101000
110111
111100

¬((X2∧X3)∧(¬X4)):
X2X3X4X2∧X3¬X4(X2∧X3)∧(¬X4)¬((X2∧X3)∧(¬X4))
0000101
0010001
0100101
0110001
1000101
1010001
1101110
1111001

¬X1:
X1¬X1
01
10

(¬X1)∧(¬((X2∧X3)∧(¬X4))):
X1X2X3X4¬X1X2∧X3¬X4(X2∧X3)∧(¬X4)¬((X2∧X3)∧(¬X4))(¬X1)∧(¬((X2∧X3)∧(¬X4)))
0000101011
0001100011
0010101011
0011100011
0100101011
0101100011
0110111100
0111110011
1000001010
1001000010
1010001010
1011000010
1100001010
1101000010
1110011100
1111010010

¬((¬X1)∧(¬((X2∧X3)∧(¬X4)))):
X1X2X3X4¬X1X2∧X3¬X4(X2∧X3)∧(¬X4)¬((X2∧X3)∧(¬X4))(¬X1)∧(¬((X2∧X3)∧(¬X4)))¬((¬X1)∧(¬((X2∧X3)∧(¬X4))))
00001010110
00011000110
00101010110
00111000110
01001010110
01011000110
01101111001
01111100110
10000010101
10010000101
10100010101
10110000101
11000010101
11010000101
11100111001
11110100101

(X2∧X3)∧X4:
X2X3X4X2∧X3(X2∧X3)∧X4
00000
00100
01000
01100
10000
10100
11010
11111

¬((X2∧X3)∧X4):
X2X3X4X2∧X3(X2∧X3)∧X4¬((X2∧X3)∧X4)
000001
001001
010001
011001
100001
101001
110101
111110

¬(¬((¬X1)∧(¬((X2∧X3)∧(¬X4))))):
X1X2X3X4¬X1X2∧X3¬X4(X2∧X3)∧(¬X4)¬((X2∧X3)∧(¬X4))(¬X1)∧(¬((X2∧X3)∧(¬X4)))¬((¬X1)∧(¬((X2∧X3)∧(¬X4))))¬(¬((¬X1)∧(¬((X2∧X3)∧(¬X4)))))
000010101101
000110001101
001010101101
001110001101
010010101101
010110001101
011011110010
011111001101
100000101010
100100001010
101000101010
101100001010
110000101010
110100001010
111001110010
111101001010

(¬(¬((¬X1)∧(¬((X2∧X3)∧(¬X4))))))∨X:
X1X2X3X4X¬X1X2∧X3¬X4(X2∧X3)∧(¬X4)¬((X2∧X3)∧(¬X4))(¬X1)∧(¬((X2∧X3)∧(¬X4)))¬((¬X1)∧(¬((X2∧X3)∧(¬X4))))¬(¬((¬X1)∧(¬((X2∧X3)∧(¬X4)))))(¬(¬((¬X1)∧(¬((X2∧X3)∧(¬X4))))))∨X
00000101011011
00001101011011
00010100011011
00011100011011
00100101011011
00101101011011
00110100011011
00111100011011
01000101011011
01001101011011
01010100011011
01011100011011
01100111100100
01101111100101
01110110011011
01111110011011
10000001010100
10001001010101
10010000010100
10011000010101
10100001010100
10101001010101
10110000010100
10111000010101
11000001010100
11001001010101
11010000010100
11011000010101
11100011100100
11101011100101
11110010010100
11111010010101

¬(¬X1):
X1¬X1¬(¬X1)
010
101

(¬(¬X1))∧(X2∧X3):
X1X2X3¬X1¬(¬X1)X2∧X3(¬(¬X1))∧(X2∧X3)
0001000
0011000
0101000
0111010
1000100
1010100
1100100
1110111

¬((¬(¬X1))∧(X2∧X3)):
X1X2X3¬X1¬(¬X1)X2∧X3(¬(¬X1))∧(X2∧X3)¬((¬(¬X1))∧(X2∧X3))
00010001
00110001
01010001
01110101
10001001
10101001
11001001
11101110

(¬((¬(¬X1))∧(X2∧X3)))∧(¬X4):
X1X2X3X4¬X1¬(¬X1)X2∧X3(¬(¬X1))∧(X2∧X3)¬((¬(¬X1))∧(X2∧X3))¬X4(¬((¬(¬X1))∧(X2∧X3)))∧(¬X4)
00001000111
00011000100
00101000111
00111000100
01001000111
01011000100
01101010111
01111010100
10000100111
10010100100
10100100111
10110100100
11000100111
11010100100
11100111010
11110111000

((¬(¬((¬X1)∧(¬((X2∧X3)∧(¬X4))))))∨X)∨((¬((¬(¬X1))∧(X2∧X3)))∧(¬X4)):
X1X2X3X4X¬X1X2∧X3¬X4(X2∧X3)∧(¬X4)¬((X2∧X3)∧(¬X4))(¬X1)∧(¬((X2∧X3)∧(¬X4)))¬((¬X1)∧(¬((X2∧X3)∧(¬X4))))¬(¬((¬X1)∧(¬((X2∧X3)∧(¬X4)))))(¬(¬((¬X1)∧(¬((X2∧X3)∧(¬X4))))))∨X¬X1¬(¬X1)X2∧X3(¬(¬X1))∧(X2∧X3)¬((¬(¬X1))∧(X2∧X3))¬X4(¬((¬(¬X1))∧(X2∧X3)))∧(¬X4)((¬(¬((¬X1)∧(¬((X2∧X3)∧(¬X4))))))∨X)∨((¬((¬(¬X1))∧(X2∧X3)))∧(¬X4))
0000010101101110001111
0000110101101110001111
0001010001101110001001
0001110001101110001001
0010010101101110001111
0010110101101110001111
0011010001101110001001
0011110001101110001001
0100010101101110001111
0100110101101110001111
0101010001101110001001
0101110001101110001001
0110011110010010101111
0110111110010110101111
0111011001101110101001
0111111001101110101001
1000000101010001001111
1000100101010101001111
1001000001010001001000
1001100001010101001001
1010000101010001001111
1010100101010101001111
1011000001010001001000
1011100001010101001001
1100000101010001001111
1100100101010101001111
1101000001010001001000
1101100001010101001001
1110001110010001110100
1110101110010101110101
1111001001010001110000
1111101001010101110001

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

X1X2X3X4¬X4X2∧X3(X2∧X3)∧(¬X4)¬((X2∧X3)∧(¬X4))¬X1(¬X1)∧(¬((X2∧X3)∧(¬X4)))¬((¬X1)∧(¬((X2∧X3)∧(¬X4))))(X2∧X3)∧X4¬((X2∧X3)∧X4)¬(¬((¬X1)∧(¬((X2∧X3)∧(¬X4)))))(¬(¬((¬X1)∧(¬((X2∧X3)∧(¬X4))))))∨X¬(¬X1)(¬(¬X1))∧(X2∧X3)¬((¬(¬X1))∧(X2∧X3))(¬((¬(¬X1))∧(X2∧X3)))∧(¬X4)(¬(¬(¬X1∧(¬(X2∧X3∧(¬X4)))))∨(X1¬(X2∧X3∧X4)))∨((¬(¬(¬X1)∧(X2∧X3))∧(¬X4)))
00001001110011100111
00010001110011100101
00101001110011100111
00110001110011100101
01001001110011100111
01010001110011100101
01101110101010000111
01110101110101100101
10001001001010010111
10010001001010010100
10101001001010010111
10110001001010010100
11001001001010010111
11010001001010010100
11101110001010011000
11110101001100011000

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

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

По таблице истинности:
X1X2X3X4F
00001
00011
00101
00111
01001
01011
01101
01111
10001
10010
10101
10110
11001
11010
11100
11110
Fсднф = ¬X1∧¬X2∧¬X3∧¬X4 ∨ ¬X1∧¬X2∧¬X3∧X4 ∨ ¬X1∧¬X2∧X3∧¬X4 ∨ ¬X1∧¬X2∧X3∧X4 ∨ ¬X1∧X2∧¬X3∧¬X4 ∨ ¬X1∧X2∧¬X3∧X4 ∨ ¬X1∧X2∧X3∧¬X4 ∨ ¬X1∧X2∧X3∧X4 ∨ X1∧¬X2∧¬X3∧¬X4 ∨ X1∧¬X2∧X3∧¬X4 ∨ X1∧X2∧¬X3∧¬X4
Логическая cхема:

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

По таблице истинности:
X1X2X3X4F
00001
00011
00101
00111
01001
01011
01101
01111
10001
10010
10101
10110
11001
11010
11100
11110
Fскнф = (¬X1∨X2∨X3∨¬X4) ∧ (¬X1∨X2∨¬X3∨¬X4) ∧ (¬X1∨¬X2∨X3∨¬X4) ∧ (¬X1∨¬X2∨¬X3∨X4) ∧ (¬X1∨¬X2∨¬X3∨¬X4)
Логическая cхема:

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

По таблице истинности функции
X1X2X3X4Fж
00001
00011
00101
00111
01001
01011
01101
01111
10001
10010
10101
10110
11001
11010
11100
11110

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

Так как 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 = 0 => С1001 = 1 ⊕ 0 ⊕ 0 ⊕ 0 = 1
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 = 1 => С0011 = 1 ⊕ 0 ⊕ 0 ⊕ 1 = 0
Fж(1110) = С0000 ⊕ С1000 ⊕ С0100 ⊕ С0010 ⊕ С1100 ⊕ С1010 ⊕ С0110 ⊕ С1110 = 0 => С1110 = 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 1
Fж(1101) = С0000 ⊕ С1000 ⊕ С0100 ⊕ С0001 ⊕ С1100 ⊕ С1001 ⊕ С0101 ⊕ С1101 = 0 => С1101 = 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 = 0
Fж(1011) = С0000 ⊕ С1000 ⊕ С0010 ⊕ С0001 ⊕ С1010 ⊕ С1001 ⊕ С0011 ⊕ С1011 = 0 => С1011 = 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 = 0
Fж(0111) = С0000 ⊕ С0100 ⊕ С0010 ⊕ С0001 ⊕ С0110 ⊕ С0101 ⊕ С0011 ⊕ С0111 = 1 => С0111 = 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 = 0
Fж(1111) = С0000 ⊕ С1000 ⊕ С0100 ⊕ С0010 ⊕ С0001 ⊕ С1100 ⊕ С1010 ⊕ С1001 ⊕ С0110 ⊕ С0101 ⊕ С0011 ⊕ С1110 ⊕ С1101 ⊕ С1011 ⊕ С0111 ⊕ С1111 = 0 => С1111 = 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 1

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

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

Рейтинг@Mail.ru

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