Таблица истинности для функции F≡¬A∧B∧V∧C∧V∧¬A:


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

(¬A)∧B:
AB¬A(¬A)∧B
0010
0111
1000
1100

((¬A)∧B)∧V:
ABV¬A(¬A)∧B((¬A)∧B)∧V
000100
001100
010110
011111
100000
101000
110000
111000

(((¬A)∧B)∧V)∧C:
ABVC¬A(¬A)∧B((¬A)∧B)∧V(((¬A)∧B)∧V)∧C
00001000
00011000
00101000
00111000
01001100
01011100
01101110
01111111
10000000
10010000
10100000
10110000
11000000
11010000
11100000
11110000

((((¬A)∧B)∧V)∧C)∧V:
ABVC¬A(¬A)∧B((¬A)∧B)∧V(((¬A)∧B)∧V)∧C((((¬A)∧B)∧V)∧C)∧V
000010000
000110000
001010000
001110000
010011000
010111000
011011100
011111111
100000000
100100000
101000000
101100000
110000000
110100000
111000000
111100000

(((((¬A)∧B)∧V)∧C)∧V)∧(¬A):
ABVC¬A(¬A)∧B((¬A)∧B)∧V(((¬A)∧B)∧V)∧C((((¬A)∧B)∧V)∧C)∧V¬A(((((¬A)∧B)∧V)∧C)∧V)∧(¬A)
00001000010
00011000010
00101000010
00111000010
01001100010
01011100010
01101110010
01111111111
10000000000
10010000000
10100000000
10110000000
11000000000
11010000000
11100000000
11110000000

F≡((((((¬A)∧B)∧V)∧C)∧V)∧(¬A)):
FABVC¬A(¬A)∧B((¬A)∧B)∧V(((¬A)∧B)∧V)∧C((((¬A)∧B)∧V)∧C)∧V¬A(((((¬A)∧B)∧V)∧C)∧V)∧(¬A)F≡((((((¬A)∧B)∧V)∧C)∧V)∧(¬A))
0000010000101
0000110000101
0001010000101
0001110000101
0010011000101
0010111000101
0011011100101
0011111111110
0100000000001
0100100000001
0101000000001
0101100000001
0110000000001
0110100000001
0111000000001
0111100000001
1000010000100
1000110000100
1001010000100
1001110000100
1010011000100
1010111000100
1011011100100
1011111111111
1100000000000
1100100000000
1101000000000
1101100000000
1110000000000
1110100000000
1111000000000
1111100000000

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

FABVC¬A(¬A)∧B((¬A)∧B)∧V(((¬A)∧B)∧V)∧C((((¬A)∧B)∧V)∧C)∧V(((((¬A)∧B)∧V)∧C)∧V)∧(¬A)F≡¬A∧B∧V∧C∧V∧¬A
000001000001
000011000001
000101000001
000111000001
001001100001
001011100001
001101110001
001111111110
010000000001
010010000001
010100000001
010110000001
011000000001
011010000001
011100000001
011110000001
100001000000
100011000000
100101000000
100111000000
101001100000
101011100000
101101110000
101111111111
110000000000
110010000000
110100000000
110110000000
111000000000
111010000000
111100000000
111110000000

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

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

По таблице истинности:
FABVCF
000001
000011
000101
000111
001001
001011
001101
001110
010001
010011
010101
010111
011001
011011
011101
011111
100000
100010
100100
100110
101000
101010
101100
101111
110000
110010
110100
110110
111000
111010
111100
111110
Fсднф = ¬F∧¬A∧¬B∧¬V∧¬C ∨ ¬F∧¬A∧¬B∧¬V∧C ∨ ¬F∧¬A∧¬B∧V∧¬C ∨ ¬F∧¬A∧¬B∧V∧C ∨ ¬F∧¬A∧B∧¬V∧¬C ∨ ¬F∧¬A∧B∧¬V∧C ∨ ¬F∧¬A∧B∧V∧¬C ∨ ¬F∧A∧¬B∧¬V∧¬C ∨ ¬F∧A∧¬B∧¬V∧C ∨ ¬F∧A∧¬B∧V∧¬C ∨ ¬F∧A∧¬B∧V∧C ∨ ¬F∧A∧B∧¬V∧¬C ∨ ¬F∧A∧B∧¬V∧C ∨ ¬F∧A∧B∧V∧¬C ∨ ¬F∧A∧B∧V∧C ∨ F∧¬A∧B∧V∧C
Логическая cхема:

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

По таблице истинности:
FABVCF
000001
000011
000101
000111
001001
001011
001101
001110
010001
010011
010101
010111
011001
011011
011101
011111
100000
100010
100100
100110
101000
101010
101100
101111
110000
110010
110100
110110
111000
111010
111100
111110
Fскнф = (F∨A∨¬B∨¬V∨¬C) ∧ (¬F∨A∨B∨V∨C) ∧ (¬F∨A∨B∨V∨¬C) ∧ (¬F∨A∨B∨¬V∨C) ∧ (¬F∨A∨B∨¬V∨¬C) ∧ (¬F∨A∨¬B∨V∨C) ∧ (¬F∨A∨¬B∨V∨¬C) ∧ (¬F∨A∨¬B∨¬V∨C) ∧ (¬F∨¬A∨B∨V∨C) ∧ (¬F∨¬A∨B∨V∨¬C) ∧ (¬F∨¬A∨B∨¬V∨C) ∧ (¬F∨¬A∨B∨¬V∨¬C) ∧ (¬F∨¬A∨¬B∨V∨C) ∧ (¬F∨¬A∨¬B∨V∨¬C) ∧ (¬F∨¬A∨¬B∨¬V∨C) ∧ (¬F∨¬A∨¬B∨¬V∨¬C)
Логическая cхема:

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

По таблице истинности функции
FABVCFж
000001
000011
000101
000111
001001
001011
001101
001110
010001
010011
010101
010111
011001
011011
011101
011111
100000
100010
100100
100110
101000
101010
101100
101111
110000
110010
110100
110110
111000
111010
111100
111110

Построим полином Жегалкина:
Fж = C00000 ⊕ C10000∧F ⊕ C01000∧A ⊕ C00100∧B ⊕ C00010∧V ⊕ C00001∧C ⊕ C11000∧F∧A ⊕ C10100∧F∧B ⊕ C10010∧F∧V ⊕ C10001∧F∧C ⊕ C01100∧A∧B ⊕ C01010∧A∧V ⊕ C01001∧A∧C ⊕ C00110∧B∧V ⊕ C00101∧B∧C ⊕ C00011∧V∧C ⊕ C11100∧F∧A∧B ⊕ C11010∧F∧A∧V ⊕ C11001∧F∧A∧C ⊕ C10110∧F∧B∧V ⊕ C10101∧F∧B∧C ⊕ C10011∧F∧V∧C ⊕ C01110∧A∧B∧V ⊕ C01101∧A∧B∧C ⊕ C01011∧A∧V∧C ⊕ C00111∧B∧V∧C ⊕ C11110∧F∧A∧B∧V ⊕ C11101∧F∧A∧B∧C ⊕ C11011∧F∧A∧V∧C ⊕ C10111∧F∧B∧V∧C ⊕ C01111∧A∧B∧V∧C ⊕ C11111∧F∧A∧B∧V∧C

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

Далее подставляем все остальные наборы в порядке возрастания числа единиц, подставляя вновь полученные значения в следующие формулы:
Fж(10000) = С00000 ⊕ С10000 = 0 => С10000 = 1 ⊕ 0 = 1
Fж(01000) = С00000 ⊕ С01000 = 1 => С01000 = 1 ⊕ 1 = 0
Fж(00100) = С00000 ⊕ С00100 = 1 => С00100 = 1 ⊕ 1 = 0
Fж(00010) = С00000 ⊕ С00010 = 1 => С00010 = 1 ⊕ 1 = 0
Fж(00001) = С00000 ⊕ С00001 = 1 => С00001 = 1 ⊕ 1 = 0
Fж(11000) = С00000 ⊕ С10000 ⊕ С01000 ⊕ С11000 = 0 => С11000 = 1 ⊕ 1 ⊕ 0 ⊕ 0 = 0
Fж(10100) = С00000 ⊕ С10000 ⊕ С00100 ⊕ С10100 = 0 => С10100 = 1 ⊕ 1 ⊕ 0 ⊕ 0 = 0
Fж(10010) = С00000 ⊕ С10000 ⊕ С00010 ⊕ С10010 = 0 => С10010 = 1 ⊕ 1 ⊕ 0 ⊕ 0 = 0
Fж(10001) = С00000 ⊕ С10000 ⊕ С00001 ⊕ С10001 = 0 => С10001 = 1 ⊕ 1 ⊕ 0 ⊕ 0 = 0
Fж(01100) = С00000 ⊕ С01000 ⊕ С00100 ⊕ С01100 = 1 => С01100 = 1 ⊕ 0 ⊕ 0 ⊕ 1 = 0
Fж(01010) = С00000 ⊕ С01000 ⊕ С00010 ⊕ С01010 = 1 => С01010 = 1 ⊕ 0 ⊕ 0 ⊕ 1 = 0
Fж(01001) = С00000 ⊕ С01000 ⊕ С00001 ⊕ С01001 = 1 => С01001 = 1 ⊕ 0 ⊕ 0 ⊕ 1 = 0
Fж(00110) = С00000 ⊕ С00100 ⊕ С00010 ⊕ С00110 = 1 => С00110 = 1 ⊕ 0 ⊕ 0 ⊕ 1 = 0
Fж(00101) = С00000 ⊕ С00100 ⊕ С00001 ⊕ С00101 = 1 => С00101 = 1 ⊕ 0 ⊕ 0 ⊕ 1 = 0
Fж(00011) = С00000 ⊕ С00010 ⊕ С00001 ⊕ С00011 = 1 => С00011 = 1 ⊕ 0 ⊕ 0 ⊕ 1 = 0
Fж(11100) = С00000 ⊕ С10000 ⊕ С01000 ⊕ С00100 ⊕ С11000 ⊕ С10100 ⊕ С01100 ⊕ С11100 = 0 => С11100 = 1 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
Fж(11010) = С00000 ⊕ С10000 ⊕ С01000 ⊕ С00010 ⊕ С11000 ⊕ С10010 ⊕ С01010 ⊕ С11010 = 0 => С11010 = 1 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
Fж(11001) = С00000 ⊕ С10000 ⊕ С01000 ⊕ С00001 ⊕ С11000 ⊕ С10001 ⊕ С01001 ⊕ С11001 = 0 => С11001 = 1 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
Fж(10110) = С00000 ⊕ С10000 ⊕ С00100 ⊕ С00010 ⊕ С10100 ⊕ С10010 ⊕ С00110 ⊕ С10110 = 0 => С10110 = 1 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
Fж(10101) = С00000 ⊕ С10000 ⊕ С00100 ⊕ С00001 ⊕ С10100 ⊕ С10001 ⊕ С00101 ⊕ С10101 = 0 => С10101 = 1 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
Fж(10011) = С00000 ⊕ С10000 ⊕ С00010 ⊕ С00001 ⊕ С10010 ⊕ С10001 ⊕ С00011 ⊕ С10011 = 0 => С10011 = 1 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
Fж(01110) = С00000 ⊕ С01000 ⊕ С00100 ⊕ С00010 ⊕ С01100 ⊕ С01010 ⊕ С00110 ⊕ С01110 = 1 => С01110 = 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 = 0
Fж(01101) = С00000 ⊕ С01000 ⊕ С00100 ⊕ С00001 ⊕ С01100 ⊕ С01001 ⊕ С00101 ⊕ С01101 = 1 => С01101 = 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 = 0
Fж(01011) = С00000 ⊕ С01000 ⊕ С00010 ⊕ С00001 ⊕ С01010 ⊕ С01001 ⊕ С00011 ⊕ С01011 = 1 => С01011 = 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 = 0
Fж(00111) = С00000 ⊕ С00100 ⊕ С00010 ⊕ С00001 ⊕ С00110 ⊕ С00101 ⊕ С00011 ⊕ С00111 = 0 => С00111 = 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 1
Fж(11110) = С00000 ⊕ С10000 ⊕ С01000 ⊕ С00100 ⊕ С00010 ⊕ С11000 ⊕ С10100 ⊕ С10010 ⊕ С01100 ⊕ С01010 ⊕ С00110 ⊕ С11100 ⊕ С11010 ⊕ С10110 ⊕ С01110 ⊕ С11110 = 0 => С11110 = 1 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
Fж(11101) = С00000 ⊕ С10000 ⊕ С01000 ⊕ С00100 ⊕ С00001 ⊕ С11000 ⊕ С10100 ⊕ С10001 ⊕ С01100 ⊕ С01001 ⊕ С00101 ⊕ С11100 ⊕ С11001 ⊕ С10101 ⊕ С01101 ⊕ С11101 = 0 => С11101 = 1 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
Fж(11011) = С00000 ⊕ С10000 ⊕ С01000 ⊕ С00010 ⊕ С00001 ⊕ С11000 ⊕ С10010 ⊕ С10001 ⊕ С01010 ⊕ С01001 ⊕ С00011 ⊕ С11010 ⊕ С11001 ⊕ С10011 ⊕ С01011 ⊕ С11011 = 0 => С11011 = 1 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
Fж(10111) = С00000 ⊕ С10000 ⊕ С00100 ⊕ С00010 ⊕ С00001 ⊕ С10100 ⊕ С10010 ⊕ С10001 ⊕ С00110 ⊕ С00101 ⊕ С00011 ⊕ С10110 ⊕ С10101 ⊕ С10011 ⊕ С00111 ⊕ С10111 = 1 => С10111 = 1 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 1 = 0
Fж(01111) = С00000 ⊕ С01000 ⊕ С00100 ⊕ С00010 ⊕ С00001 ⊕ С01100 ⊕ С01010 ⊕ С01001 ⊕ С00110 ⊕ С00101 ⊕ С00011 ⊕ С01110 ⊕ С01101 ⊕ С01011 ⊕ С00111 ⊕ С01111 = 1 => С01111 = 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 1 = 1
Fж(11111) = С00000 ⊕ С10000 ⊕ С01000 ⊕ С00100 ⊕ С00010 ⊕ С00001 ⊕ С11000 ⊕ С10100 ⊕ С10010 ⊕ С10001 ⊕ С01100 ⊕ С01010 ⊕ С01001 ⊕ С00110 ⊕ С00101 ⊕ С00011 ⊕ С11100 ⊕ С11010 ⊕ С11001 ⊕ С10110 ⊕ С10101 ⊕ С10011 ⊕ С01110 ⊕ С01101 ⊕ С01011 ⊕ С00111 ⊕ С11110 ⊕ С11101 ⊕ С11011 ⊕ С10111 ⊕ С01111 ⊕ С11111 = 0 => С11111 = 1 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 = 0

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

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

Рейтинг@Mail.ru

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