Таблица истинности для функции (¬A∨¬B∨¬C∨D∨E)∧(A∨B∨C∨¬D∨¬E):


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

¬B:
B¬B
01
10

¬C:
C¬C
01
10

(¬A)∨(¬B):
AB¬A¬B(¬A)∨(¬B)
00111
01101
10011
11000

((¬A)∨(¬B))∨(¬C):
ABC¬A¬B(¬A)∨(¬B)¬C((¬A)∨(¬B))∨(¬C)
00011111
00111101
01010111
01110101
10001111
10101101
11000011
11100000

(((¬A)∨(¬B))∨(¬C))∨D:
ABCD¬A¬B(¬A)∨(¬B)¬C((¬A)∨(¬B))∨(¬C)(((¬A)∨(¬B))∨(¬C))∨D
0000111111
0001111111
0010111011
0011111011
0100101111
0101101111
0110101011
0111101011
1000011111
1001011111
1010011011
1011011011
1100000111
1101000111
1110000000
1111000001

((((¬A)∨(¬B))∨(¬C))∨D)∨E:
ABCDE¬A¬B(¬A)∨(¬B)¬C((¬A)∨(¬B))∨(¬C)(((¬A)∨(¬B))∨(¬C))∨D((((¬A)∨(¬B))∨(¬C))∨D)∨E
000001111111
000011111111
000101111111
000111111111
001001110111
001011110111
001101110111
001111110111
010001011111
010011011111
010101011111
010111011111
011001010111
011011010111
011101010111
011111010111
100000111111
100010111111
100100111111
100110111111
101000110111
101010110111
101100110111
101110110111
110000001111
110010001111
110100001111
110110001111
111000000000
111010000001
111100000011
111110000011

¬D:
D¬D
01
10

¬E:
E¬E
01
10

A∨B:
ABA∨B
000
011
101
111

(A∨B)∨C:
ABCA∨B(A∨B)∨C
00000
00101
01011
01111
10011
10111
11011
11111

((A∨B)∨C)∨(¬D):
ABCDA∨B(A∨B)∨C¬D((A∨B)∨C)∨(¬D)
00000011
00010000
00100111
00110101
01001111
01011101
01101111
01111101
10001111
10011101
10101111
10111101
11001111
11011101
11101111
11111101

(((A∨B)∨C)∨(¬D))∨(¬E):
ABCDEA∨B(A∨B)∨C¬D((A∨B)∨C)∨(¬D)¬E(((A∨B)∨C)∨(¬D))∨(¬E)
00000001111
00001001101
00010000011
00011000000
00100011111
00101011101
00110010111
00111010101
01000111111
01001111101
01010110111
01011110101
01100111111
01101111101
01110110111
01111110101
10000111111
10001111101
10010110111
10011110101
10100111111
10101111101
10110110111
10111110101
11000111111
11001111101
11010110111
11011110101
11100111111
11101111101
11110110111
11111110101

(((((¬A)∨(¬B))∨(¬C))∨D)∨E)∧((((A∨B)∨C)∨(¬D))∨(¬E)):
ABCDE¬A¬B(¬A)∨(¬B)¬C((¬A)∨(¬B))∨(¬C)(((¬A)∨(¬B))∨(¬C))∨D((((¬A)∨(¬B))∨(¬C))∨D)∨EA∨B(A∨B)∨C¬D((A∨B)∨C)∨(¬D)¬E(((A∨B)∨C)∨(¬D))∨(¬E)(((((¬A)∨(¬B))∨(¬C))∨D)∨E)∧((((A∨B)∨C)∨(¬D))∨(¬E))
0000011111110011111
0000111111110011011
0001011111110000111
0001111111110000000
0010011101110111111
0010111101110111011
0011011101110101111
0011111101110101011
0100010111111111111
0100110111111111011
0101010111111101111
0101110111111101011
0110010101111111111
0110110101111111011
0111010101111101111
0111110101111101011
1000001111111111111
1000101111111111011
1001001111111101111
1001101111111101011
1010001101111111111
1010101101111111011
1011001101111101111
1011101101111101011
1100000011111111111
1100100011111111011
1101000011111101111
1101100011111101011
1110000000001111110
1110100000011111011
1111000000111101111
1111100000111101011

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

ABCDE¬A¬B¬C(¬A)∨(¬B)((¬A)∨(¬B))∨(¬C)(((¬A)∨(¬B))∨(¬C))∨D((((¬A)∨(¬B))∨(¬C))∨D)∨E¬D¬EA∨B(A∨B)∨C((A∨B)∨C)∨(¬D)(((A∨B)∨C)∨(¬D))∨(¬E)(¬A∨¬B∨¬C∨D∨E)∧(A∨B∨C∨¬D∨¬E)
0000011111111100111
0000111111111000111
0001011111110100011
0001111111110000000
0010011011111101111
0010111011111001111
0011011011110101111
0011111011110001111
0100010111111111111
0100110111111011111
0101010111110111111
0101110111110011111
0110010011111111111
0110110011111011111
0111010011110111111
0111110011110011111
1000001111111111111
1000101111111011111
1001001111110111111
1001101111110011111
1010001011111111111
1010101011111011111
1011001011110111111
1011101011110011111
1100000101111111111
1100100101111011111
1101000101110111111
1101100101110011111
1110000000001111110
1110100000011011111
1111000000110111111
1111100000110011111

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

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

По таблице истинности:
ABCDEF
000001
000011
000101
000110
001001
001011
001101
001111
010001
010011
010101
010111
011001
011011
011101
011111
100001
100011
100101
100111
101001
101011
101101
101111
110001
110011
110101
110111
111000
111011
111101
111111
Fсднф = ¬A∧¬B∧¬C∧¬D∧¬E ∨ ¬A∧¬B∧¬C∧¬D∧E ∨ ¬A∧¬B∧¬C∧D∧¬E ∨ ¬A∧¬B∧C∧¬D∧¬E ∨ ¬A∧¬B∧C∧¬D∧E ∨ ¬A∧¬B∧C∧D∧¬E ∨ ¬A∧¬B∧C∧D∧E ∨ ¬A∧B∧¬C∧¬D∧¬E ∨ ¬A∧B∧¬C∧¬D∧E ∨ ¬A∧B∧¬C∧D∧¬E ∨ ¬A∧B∧¬C∧D∧E ∨ ¬A∧B∧C∧¬D∧¬E ∨ ¬A∧B∧C∧¬D∧E ∨ ¬A∧B∧C∧D∧¬E ∨ ¬A∧B∧C∧D∧E ∨ A∧¬B∧¬C∧¬D∧¬E ∨ A∧¬B∧¬C∧¬D∧E ∨ A∧¬B∧¬C∧D∧¬E ∨ A∧¬B∧¬C∧D∧E ∨ A∧¬B∧C∧¬D∧¬E ∨ A∧¬B∧C∧¬D∧E ∨ A∧¬B∧C∧D∧¬E ∨ A∧¬B∧C∧D∧E ∨ A∧B∧¬C∧¬D∧¬E ∨ A∧B∧¬C∧¬D∧E ∨ A∧B∧¬C∧D∧¬E ∨ A∧B∧¬C∧D∧E ∨ A∧B∧C∧¬D∧E ∨ A∧B∧C∧D∧¬E ∨ A∧B∧C∧D∧E
Логическая cхема:

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

По таблице истинности:
ABCDEF
000001
000011
000101
000110
001001
001011
001101
001111
010001
010011
010101
010111
011001
011011
011101
011111
100001
100011
100101
100111
101001
101011
101101
101111
110001
110011
110101
110111
111000
111011
111101
111111
Fскнф = (A∨B∨C∨¬D∨¬E) ∧ (¬A∨¬B∨¬C∨D∨E)
Логическая cхема:

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

По таблице истинности функции
ABCDEFж
000001
000011
000101
000110
001001
001011
001101
001111
010001
010011
010101
010111
011001
011011
011101
011111
100001
100011
100101
100111
101001
101011
101101
101111
110001
110011
110101
110111
111000
111011
111101
111111

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

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

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

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

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

Рейтинг@Mail.ru

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