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


Промежуточные таблицы истинности:
X1∧X2:
X1X2X1∧X2
000
010
100
111

(X1∧X2)∧X3:
X1X2X3X1∧X2(X1∧X2)∧X3
00000
00100
01000
01100
10000
10100
11010
11111

¬X3:
X3¬X3
01
10

X2↓(¬X3):
X2X3¬X3X2↓(¬X3)
0010
0101
1010
1100

X1∧(X2↓(¬X3)):
X1X2X3¬X3X2↓(¬X3)X1∧(X2↓(¬X3))
000100
001010
010100
011000
100100
101011
110100
111000

¬(X1∧(X2↓(¬X3))):
X1X2X3¬X3X2↓(¬X3)X1∧(X2↓(¬X3))¬(X1∧(X2↓(¬X3)))
0001001
0010101
0101001
0110001
1001001
1010110
1101001
1110001

¬X1:
X1¬X1
01
10

¬X2:
X2¬X2
01
10

(¬X1)↓(¬X2):
X1X2¬X1¬X2(¬X1)↓(¬X2)
00110
01100
10010
11001

¬((¬X1)↓(¬X2)):
X1X2¬X1¬X2(¬X1)↓(¬X2)¬((¬X1)↓(¬X2))
001101
011001
100101
110010

(¬X1)↓(¬((¬X1)↓(¬X2))):
X1X2¬X1¬X1¬X2(¬X1)↓(¬X2)¬((¬X1)↓(¬X2))(¬X1)↓(¬((¬X1)↓(¬X2)))
00111010
01110010
10001010
11000101

((¬X1)↓(¬((¬X1)↓(¬X2))))↓X3:
X1X2X3¬X1¬X1¬X2(¬X1)↓(¬X2)¬((¬X1)↓(¬X2))(¬X1)↓(¬((¬X1)↓(¬X2)))((¬X1)↓(¬((¬X1)↓(¬X2))))↓X3
0001110101
0011110100
0101100101
0111100100
1000010101
1010010100
1100001010
1110001010

(((¬X1)↓(¬((¬X1)↓(¬X2))))↓X3)↓((¬X1)↓(¬X2)):
X1X2X3¬X1¬X1¬X2(¬X1)↓(¬X2)¬((¬X1)↓(¬X2))(¬X1)↓(¬((¬X1)↓(¬X2)))((¬X1)↓(¬((¬X1)↓(¬X2))))↓X3¬X1¬X2(¬X1)↓(¬X2)(((¬X1)↓(¬((¬X1)↓(¬X2))))↓X3)↓((¬X1)↓(¬X2))
00011101011100
00111101001101
01011001011000
01111001001001
10000101010100
10100101000101
11000010100010
11100010100010

(¬(X1∧(X2↓(¬X3))))↓((((¬X1)↓(¬((¬X1)↓(¬X2))))↓X3)↓((¬X1)↓(¬X2))):
X1X2X3¬X3X2↓(¬X3)X1∧(X2↓(¬X3))¬(X1∧(X2↓(¬X3)))¬X1¬X1¬X2(¬X1)↓(¬X2)¬((¬X1)↓(¬X2))(¬X1)↓(¬((¬X1)↓(¬X2)))((¬X1)↓(¬((¬X1)↓(¬X2))))↓X3¬X1¬X2(¬X1)↓(¬X2)(((¬X1)↓(¬((¬X1)↓(¬X2))))↓X3)↓((¬X1)↓(¬X2))(¬(X1∧(X2↓(¬X3))))↓((((¬X1)↓(¬((¬X1)↓(¬X2))))↓X3)↓((¬X1)↓(¬X2)))
0001001111010111000
0010101111010011010
0101001110010110000
0110001110010010010
1001001001010101000
1010110001010001010
1101001000101000100
1110001000101000100

F2∧((X1∧X2)∧X3):
F2X1X2X3X1∧X2(X1∧X2)∧X3F2∧((X1∧X2)∧X3)
0000000
0001000
0010000
0011000
0100000
0101000
0110100
0111110
1000000
1001000
1010000
1011000
1100000
1101000
1110100
1111111

(F2∧((X1∧X2)∧X3))≡((¬(X1∧(X2↓(¬X3))))↓((((¬X1)↓(¬((¬X1)↓(¬X2))))↓X3)↓((¬X1)↓(¬X2)))):
F2X1X2X3X1∧X2(X1∧X2)∧X3F2∧((X1∧X2)∧X3)¬X3X2↓(¬X3)X1∧(X2↓(¬X3))¬(X1∧(X2↓(¬X3)))¬X1¬X1¬X2(¬X1)↓(¬X2)¬((¬X1)↓(¬X2))(¬X1)↓(¬((¬X1)↓(¬X2)))((¬X1)↓(¬((¬X1)↓(¬X2))))↓X3¬X1¬X2(¬X1)↓(¬X2)(((¬X1)↓(¬((¬X1)↓(¬X2))))↓X3)↓((¬X1)↓(¬X2))(¬(X1∧(X2↓(¬X3))))↓((((¬X1)↓(¬((¬X1)↓(¬X2))))↓X3)↓((¬X1)↓(¬X2)))(F2∧((X1∧X2)∧X3))≡((¬(X1∧(X2↓(¬X3))))↓((((¬X1)↓(¬((¬X1)↓(¬X2))))↓X3)↓((¬X1)↓(¬X2))))
000000010011110101110001
000100001011110100110101
001000010011100101100001
001100000011100100100101
010000010010010101010001
010100001100010100010101
011010010010001010001001
011111000010001010001001
100000010011110101110001
100100001011110100110101
101000010011100101100001
101100000011100100100101
110000010010010101010001
110100001100010100010101
111010010010001010001001
111111100010001010001000

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

F2X1X2X3X1∧X2(X1∧X2)∧X3¬X3X2↓(¬X3)X1∧(X2↓(¬X3))¬(X1∧(X2↓(¬X3)))¬X1¬X2(¬X1)↓(¬X2)¬((¬X1)↓(¬X2))(¬X1)↓(¬((¬X1)↓(¬X2)))((¬X1)↓(¬((¬X1)↓(¬X2))))↓X3(((¬X1)↓(¬((¬X1)↓(¬X2))))↓X3)↓((¬X1)↓(¬X2))(¬(X1∧(X2↓(¬X3))))↓((((¬X1)↓(¬((¬X1)↓(¬X2))))↓X3)↓((¬X1)↓(¬X2)))F2∧((X1∧X2)∧X3)F2∧(X1∧X2∧X3)≡(¬(X1∧X2↓(¬X3)))↓((¬X1)↓(¬((¬X1)↓(¬X2)))↓X3↓((¬X1)↓(¬X2)))
00000010011101010001
00010001011101001001
00100010011001010001
00110000011001001001
01000010010101010001
01010001100101001001
01101010010010100001
01111100010010100001
10000010011101010001
10010001011101001001
10100010011001010001
10110000011001001001
11000010010101010001
11010001100101001001
11101010010010100001
11111100010010100010

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

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

По таблице истинности:
F2X1X2X3F
00001
00011
00101
00111
01001
01011
01101
01111
10001
10011
10101
10111
11001
11011
11101
11110
Fсднф = ¬F2∧¬X1∧¬X2∧¬X3 ∨ ¬F2∧¬X1∧¬X2∧X3 ∨ ¬F2∧¬X1∧X2∧¬X3 ∨ ¬F2∧¬X1∧X2∧X3 ∨ ¬F2∧X1∧¬X2∧¬X3 ∨ ¬F2∧X1∧¬X2∧X3 ∨ ¬F2∧X1∧X2∧¬X3 ∨ ¬F2∧X1∧X2∧X3 ∨ F2∧¬X1∧¬X2∧¬X3 ∨ F2∧¬X1∧¬X2∧X3 ∨ F2∧¬X1∧X2∧¬X3 ∨ F2∧¬X1∧X2∧X3 ∨ F2∧X1∧¬X2∧¬X3 ∨ F2∧X1∧¬X2∧X3 ∨ F2∧X1∧X2∧¬X3
Логическая cхема:

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

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

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

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

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

Так как 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 = 1 => С0011 = 1 ⊕ 0 ⊕ 0 ⊕ 1 = 0
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 ⊕ 0 ⊕ 1 = 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 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 1

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

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

Рейтинг@Mail.ru

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