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


Промежуточные таблицы истинности:
A∨B:
ABA∨B
000
011
101
111

¬D:
D¬D
01
10

C∨(¬D):
CD¬DC∨(¬D)
0011
0100
1011
1101

¬E:
E¬E
01
10

A∧B:
ABA∧B
000
010
100
111

C∧(¬D):
CD¬DC∧(¬D)
0010
0100
1011
1100

(A∨B)∧(C∨(¬D)):
ABCDA∨B¬DC∨(¬D)(A∨B)∧(C∨(¬D))
00000110
00010000
00100110
00110010
01001111
01011000
01101111
01111011
10001111
10011000
10101111
10111011
11001111
11011000
11101111
11111011

(A∧B)∨(C∧(¬D)):
ABCDA∧B¬DC∧(¬D)(A∧B)∨(C∧(¬D))
00000100
00010000
00100111
00110000
01000100
01010000
01100111
01110000
10000100
10010000
10100111
10110000
11001101
11011001
11101111
11111001

((A∧B)∨(C∧(¬D)))∨(¬E):
ABCDEA∧B¬DC∧(¬D)(A∧B)∨(C∧(¬D))¬E((A∧B)∨(C∧(¬D)))∨(¬E)
00000010011
00001010000
00010000011
00011000000
00100011111
00101011101
00110000011
00111000000
01000010011
01001010000
01010000011
01011000000
01100011111
01101011101
01110000011
01111000000
10000010011
10001010000
10010000011
10011000000
10100011111
10101011101
10110000011
10111000000
11000110111
11001110101
11010100111
11011100101
11100111111
11101111101
11110100111
11111100101

(((A∧B)∨(C∧(¬D)))∨(¬E))∨((A∨B)∧(C∨(¬D))):
ABCDEA∧B¬DC∧(¬D)(A∧B)∨(C∧(¬D))¬E((A∧B)∨(C∧(¬D)))∨(¬E)A∨B¬DC∨(¬D)(A∨B)∧(C∨(¬D))(((A∧B)∨(C∧(¬D)))∨(¬E))∨((A∨B)∧(C∨(¬D)))
0000001001101101
0000101000001100
0001000001100001
0001100000000000
0010001111101101
0010101110101101
0011000001100101
0011100000000100
0100001001111111
0100101000011111
0101000001110001
0101100000010000
0110001111111111
0110101110111111
0111000001110111
0111100000010111
1000001001111111
1000101000011111
1001000001110001
1001100000010000
1010001111111111
1010101110111111
1011000001110111
1011100000010111
1100011011111111
1100111010111111
1101010011110001
1101110010110001
1110011111111111
1110111110111111
1111010011110111
1111110010110111

((((A∧B)∨(C∧(¬D)))∨(¬E))∨((A∨B)∧(C∨(¬D))))∨(¬E):
ABCDEA∧B¬DC∧(¬D)(A∧B)∨(C∧(¬D))¬E((A∧B)∨(C∧(¬D)))∨(¬E)A∨B¬DC∨(¬D)(A∨B)∧(C∨(¬D))(((A∧B)∨(C∧(¬D)))∨(¬E))∨((A∨B)∧(C∨(¬D)))¬E((((A∧B)∨(C∧(¬D)))∨(¬E))∨((A∨B)∧(C∨(¬D))))∨(¬E)
000000100110110111
000010100000110000
000100000110000111
000110000000000000
001000111110110111
001010111010110101
001100000110010111
001110000000010000
010000100111111111
010010100001111101
010100000111000111
010110000001000000
011000111111111111
011010111011111101
011100000111011111
011110000001011101
100000100111111111
100010100001111101
100100000111000111
100110000001000000
101000111111111111
101010111011111101
101100000111011111
101110000001011101
110001101111111111
110011101011111101
110101001111000111
110111001011000101
111001111111111111
111011111011111101
111101001111011111
111111001011011101

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

ABCDEA∨B¬DC∨(¬D)¬EA∧BC∧(¬D)(A∨B)∧(C∨(¬D))(A∧B)∨(C∧(¬D))((A∧B)∨(C∧(¬D)))∨(¬E)(((A∧B)∨(C∧(¬D)))∨(¬E))∨((A∨B)∧(C∨(¬D)))A∧B∨C∧¬D∨¬E∨(A∨B)∧(C∨¬D)∨¬E
0000001110000111
0000101100000000
0001000010000111
0001100000000000
0010001110101111
0010101100101111
0011000110000111
0011100100000000
0100011110010111
0100111100010011
0101010010000111
0101110000000000
0110011110111111
0110111100111111
0111010110010111
0111110100010011
1000011110010111
1000111100010011
1001010010000111
1001110000000000
1010011110111111
1010111100111111
1011010110010111
1011110100010011
1100011111011111
1100111101011111
1101010011001111
1101110001001111
1110011111111111
1110111101111111
1111010111011111
1111110101011111

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

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

По таблице истинности:
ABCDEF
000001
000010
000101
000110
001001
001011
001101
001110
010001
010011
010101
010110
011001
011011
011101
011111
100001
100011
100101
100110
101001
101011
101101
101111
110001
110011
110101
110111
111001
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
Логическая cхема:

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

По таблице истинности:
ABCDEF
000001
000010
000101
000110
001001
001011
001101
001110
010001
010011
010101
010110
011001
011011
011101
011111
100001
100011
100101
100110
101001
101011
101101
101111
110001
110011
110101
110111
111001
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)
Логическая cхема:

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

По таблице истинности функции
ABCDEFж
000001
000010
000101
000110
001001
001011
001101
001110
010001
010011
010101
010110
011001
011011
011101
011111
100001
100011
100101
100110
101001
101011
101101
101111
110001
110011
110101
110111
111001
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 = 0 => С00001 = 1 ⊕ 0 = 1
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 ⊕ 1 ⊕ 1 = 1
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 ⊕ 1 ⊕ 1 = 1
Fж(00110) = С00000 ⊕ С00100 ⊕ С00010 ⊕ С00110 = 1 => С00110 = 1 ⊕ 0 ⊕ 0 ⊕ 1 = 0
Fж(00101) = С00000 ⊕ С00100 ⊕ С00001 ⊕ С00101 = 1 => С00101 = 1 ⊕ 0 ⊕ 1 ⊕ 1 = 1
Fж(00011) = С00000 ⊕ С00010 ⊕ С00001 ⊕ С00011 = 0 => С00011 = 1 ⊕ 0 ⊕ 1 ⊕ 0 = 0
Fж(11100) = С00000 ⊕ С10000 ⊕ С01000 ⊕ С00100 ⊕ С11000 ⊕ С10100 ⊕ С01100 ⊕ С11100 = 1 => С11100 = 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 = 0
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 ⊕ 1 ⊕ 0 ⊕ 1 ⊕ 1 ⊕ 1 = 1
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 ⊕ 1 ⊕ 0 ⊕ 1 ⊕ 1 ⊕ 1 = 1
Fж(10011) = С00000 ⊕ С10000 ⊕ С00010 ⊕ С00001 ⊕ С10010 ⊕ С10001 ⊕ С00011 ⊕ С10011 = 0 => С10011 = 1 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 = 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 ⊕ 1 ⊕ 0 ⊕ 1 ⊕ 1 ⊕ 1 = 1
Fж(01011) = С00000 ⊕ С01000 ⊕ С00010 ⊕ С00001 ⊕ С01010 ⊕ С01001 ⊕ С00011 ⊕ С01011 = 0 => С01011 = 1 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 = 1
Fж(00111) = С00000 ⊕ С00100 ⊕ С00010 ⊕ С00001 ⊕ С00110 ⊕ С00101 ⊕ С00011 ⊕ С00111 = 0 => С00111 = 1 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 = 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 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 = 0
Fж(11101) = С00000 ⊕ С10000 ⊕ С01000 ⊕ С00100 ⊕ С00001 ⊕ С11000 ⊕ С10100 ⊕ С10001 ⊕ С01100 ⊕ С01001 ⊕ С00101 ⊕ С11100 ⊕ С11001 ⊕ С10101 ⊕ С01101 ⊕ С11101 = 1 => С11101 = 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 1 ⊕ 1 ⊕ 0 ⊕ 1 ⊕ 1 ⊕ 1 ⊕ 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 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 1 ⊕ 1 ⊕ 1 = 0
Fж(10111) = С00000 ⊕ С10000 ⊕ С00100 ⊕ С00010 ⊕ С00001 ⊕ С10100 ⊕ С10010 ⊕ С10001 ⊕ С00110 ⊕ С00101 ⊕ С00011 ⊕ С10110 ⊕ С10101 ⊕ С10011 ⊕ С00111 ⊕ С10111 = 1 => С10111 = 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 1 ⊕ 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 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 1 ⊕ 1 ⊕ 1 = 0
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 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 1 ⊕ 1 ⊕ 0 ⊕ 1 ⊕ 1 ⊕ 1 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 = 1

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

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

Рейтинг@Mail.ru

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