Таблица истинности для функции ((A∧D→N)∧(¬D→N∧¬V)∧(A∨V)∧(D→¬G)∧(¬N→(D→¬V))∧(V∧¬N→¬D∧G)):


Промежуточные таблицы истинности:
A∧D:
ADA∧D
000
010
100
111

(A∧D)→N:
ADNA∧D(A∧D)→N
00001
00101
01001
01101
10001
10101
11010
11111

¬D:
D¬D
01
10

¬V:
V¬V
01
10

N∧(¬V):
NV¬VN∧(¬V)
0010
0100
1011
1100

(¬D)→(N∧(¬V)):
DNV¬D¬VN∧(¬V)(¬D)→(N∧(¬V))
0001100
0011000
0101111
0111000
1000101
1010001
1100111
1110001

A∨V:
AVA∨V
000
011
101
111

¬G:
G¬G
01
10

D→(¬G):
DG¬GD→(¬G)
0011
0101
1011
1100

D→(¬V):
DV¬VD→(¬V)
0011
0101
1011
1100

¬N:
N¬N
01
10

(¬N)→(D→(¬V)):
NDV¬N¬VD→(¬V)(¬N)→(D→(¬V))
0001111
0011011
0101111
0111000
1000111
1010011
1100111
1110001

V∧(¬N):
VN¬NV∧(¬N)
0010
0100
1011
1100

(¬D)∧G:
DG¬D(¬D)∧G
0010
0111
1000
1100

(V∧(¬N))→((¬D)∧G):
VNDG¬NV∧(¬N)¬D(¬D)∧G(V∧(¬N))→((¬D)∧G)
000010101
000110111
001010001
001110001
010000101
010100111
011000001
011100001
100011100
100111111
101011000
101111000
110000101
110100111
111000001
111100001

((A∧D)→N)∧((¬D)→(N∧(¬V))):
ADNVA∧D(A∧D)→N¬D¬VN∧(¬V)(¬D)→(N∧(¬V))((A∧D)→N)∧((¬D)→(N∧(¬V)))
00000111000
00010110000
00100111111
00110110000
01000101011
01010100011
01100101111
01110100011
10000111000
10010110000
10100111111
10110110000
11001001010
11011000010
11101101111
11111100011

(((A∧D)→N)∧((¬D)→(N∧(¬V))))∧(A∨V):
ADNVA∧D(A∧D)→N¬D¬VN∧(¬V)(¬D)→(N∧(¬V))((A∧D)→N)∧((¬D)→(N∧(¬V)))A∨V(((A∧D)→N)∧((¬D)→(N∧(¬V))))∧(A∨V)
0000011100000
0001011000010
0010011111100
0011011000010
0100010101100
0101010001111
0110010111100
0111010001111
1000011100010
1001011000010
1010011111111
1011011000010
1100100101010
1101100001010
1110110111111
1111110001111

((((A∧D)→N)∧((¬D)→(N∧(¬V))))∧(A∨V))∧(D→(¬G)):
ADNVGA∧D(A∧D)→N¬D¬VN∧(¬V)(¬D)→(N∧(¬V))((A∧D)→N)∧((¬D)→(N∧(¬V)))A∨V(((A∧D)→N)∧((¬D)→(N∧(¬V))))∧(A∨V)¬GD→(¬G)((((A∧D)→N)∧((¬D)→(N∧(¬V))))∧(A∨V))∧(D→(¬G))
00000011100000110
00001011100000010
00010011000010110
00011011000010010
00100011111100110
00101011111100010
00110011000010110
00111011000010010
01000010101100110
01001010101100000
01010010001111111
01011010001111000
01100010111100110
01101010111100000
01110010001111111
01111010001111000
10000011100010110
10001011100010010
10010011000010110
10011011000010010
10100011111111111
10101011111111011
10110011000010110
10111011000010010
11000100101010110
11001100101010000
11010100001010110
11011100001010000
11100110111111111
11101110111111000
11110110001111111
11111110001111000

(((((A∧D)→N)∧((¬D)→(N∧(¬V))))∧(A∨V))∧(D→(¬G)))∧((¬N)→(D→(¬V))):
ADNVGA∧D(A∧D)→N¬D¬VN∧(¬V)(¬D)→(N∧(¬V))((A∧D)→N)∧((¬D)→(N∧(¬V)))A∨V(((A∧D)→N)∧((¬D)→(N∧(¬V))))∧(A∨V)¬GD→(¬G)((((A∧D)→N)∧((¬D)→(N∧(¬V))))∧(A∨V))∧(D→(¬G))¬N¬VD→(¬V)(¬N)→(D→(¬V))(((((A∧D)→N)∧((¬D)→(N∧(¬V))))∧(A∨V))∧(D→(¬G)))∧((¬N)→(D→(¬V)))
0000001110000011011110
0000101110000001011110
0001001100001011010110
0001101100001001010110
0010001111110011001110
0010101111110001001110
0011001100001011000110
0011101100001001000110
0100001010110011011110
0100101010110000011110
0101001000111111110000
0101101000111100010000
0110001011110011001110
0110101011110000001110
0111001000111111100011
0111101000111100000010
1000001110001011011110
1000101110001001011110
1001001100001011010110
1001101100001001010110
1010001111111111101111
1010101111111101101111
1011001100001011000110
1011101100001001000110
1100010010101011011110
1100110010101000011110
1101010000101011010000
1101110000101000010000
1110011011111111101111
1110111011111100001110
1111011000111111100011
1111111000111100000010

((((((A∧D)→N)∧((¬D)→(N∧(¬V))))∧(A∨V))∧(D→(¬G)))∧((¬N)→(D→(¬V))))∧((V∧(¬N))→((¬D)∧G)):
ADNVGA∧D(A∧D)→N¬D¬VN∧(¬V)(¬D)→(N∧(¬V))((A∧D)→N)∧((¬D)→(N∧(¬V)))A∨V(((A∧D)→N)∧((¬D)→(N∧(¬V))))∧(A∨V)¬GD→(¬G)((((A∧D)→N)∧((¬D)→(N∧(¬V))))∧(A∨V))∧(D→(¬G))¬N¬VD→(¬V)(¬N)→(D→(¬V))(((((A∧D)→N)∧((¬D)→(N∧(¬V))))∧(A∨V))∧(D→(¬G)))∧((¬N)→(D→(¬V)))¬NV∧(¬N)¬D(¬D)∧G(V∧(¬N))→((¬D)∧G)((((((A∧D)→N)∧((¬D)→(N∧(¬V))))∧(A∨V))∧(D→(¬G)))∧((¬N)→(D→(¬V))))∧((V∧(¬N))→((¬D)∧G))
0000001110000011011110101010
0000101110000001011110101110
0001001100001011010110111000
0001101100001001010110111110
0010001111110011001110001010
0010101111110001001110001110
0011001100001011000110001010
0011101100001001000110001110
0100001010110011011110100010
0100101010110000011110100010
0101001000111111110000110000
0101101000111100010000110000
0110001011110011001110000010
0110101011110000001110000010
0111001000111111100011000011
0111101000111100000010000010
1000001110001011011110101010
1000101110001001011110101110
1001001100001011010110111000
1001101100001001010110111110
1010001111111111101111001011
1010101111111101101111001111
1011001100001011000110001010
1011101100001001000110001110
1100010010101011011110100010
1100110010101000011110100010
1101010000101011010000110000
1101110000101000010000110000
1110011011111111101111000011
1110111011111100001110000010
1111011000111111100011000011
1111111000111100000010000010

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

ADNVGA∧D(A∧D)→N¬D¬VN∧(¬V)(¬D)→(N∧(¬V))A∨V¬GD→(¬G)D→(¬V)¬N(¬N)→(D→(¬V))V∧(¬N)(¬D)∧G(V∧(¬N))→((¬D)∧G)((A∧D)→N)∧((¬D)→(N∧(¬V)))(((A∧D)→N)∧((¬D)→(N∧(¬V))))∧(A∨V)((((A∧D)→N)∧((¬D)→(N∧(¬V))))∧(A∨V))∧(D→(¬G))(((((A∧D)→N)∧((¬D)→(N∧(¬V))))∧(A∨V))∧(D→(¬G)))∧((¬N)→(D→(¬V)))((A∧D→N)∧(¬D→N∧¬V)∧(A∨V)∧(D→¬G)∧(¬N→(D→¬V))∧(V∧¬N→¬D∧G))
0000001110001111100100000
0000101110000111101100000
0001001100011111110000000
0001101100010111111100000
0010001111101110100110000
0010101111100110101110000
0011001100011110100100000
0011101100010110101100000
0100001010101111100110000
0100101010100011100110000
0101001000111101010011100
0101101000110001010011000
0110001011101110100110000
0110101011100010100110000
0111001000111100100111111
0111101000110000100111000
1000001110011111100100000
1000101110010111101100000
1001001100011111110000000
1001101100010111111100000
1010001111111110100111111
1010101111110110101111111
1011001100011110100100000
1011101100010110101100000
1100010010111111100100000
1100110010110011100100000
1101010000111101010000000
1101110000110001010000000
1110011011111110100111111
1110111011110010100111000
1111011000111100100111111
1111111000110000100111000

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

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

По таблице истинности:
ADNVGF
000000
000010
000100
000110
001000
001010
001100
001110
010000
010010
010100
010110
011000
011010
011101
011110
100000
100010
100100
100110
101001
101011
101100
101110
110000
110010
110100
110110
111001
111010
111101
111110
Fсднф = ¬A∧D∧N∧V∧¬G ∨ A∧¬D∧N∧¬V∧¬G ∨ A∧¬D∧N∧¬V∧G ∨ A∧D∧N∧¬V∧¬G ∨ A∧D∧N∧V∧¬G
Логическая cхема:

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

По таблице истинности:
ADNVGF
000000
000010
000100
000110
001000
001010
001100
001110
010000
010010
010100
010110
011000
011010
011101
011110
100000
100010
100100
100110
101001
101011
101100
101110
110000
110010
110100
110110
111001
111010
111101
111110
Fскнф = (A∨D∨N∨V∨G) ∧ (A∨D∨N∨V∨¬G) ∧ (A∨D∨N∨¬V∨G) ∧ (A∨D∨N∨¬V∨¬G) ∧ (A∨D∨¬N∨V∨G) ∧ (A∨D∨¬N∨V∨¬G) ∧ (A∨D∨¬N∨¬V∨G) ∧ (A∨D∨¬N∨¬V∨¬G) ∧ (A∨¬D∨N∨V∨G) ∧ (A∨¬D∨N∨V∨¬G) ∧ (A∨¬D∨N∨¬V∨G) ∧ (A∨¬D∨N∨¬V∨¬G) ∧ (A∨¬D∨¬N∨V∨G) ∧ (A∨¬D∨¬N∨V∨¬G) ∧ (A∨¬D∨¬N∨¬V∨¬G) ∧ (¬A∨D∨N∨V∨G) ∧ (¬A∨D∨N∨V∨¬G) ∧ (¬A∨D∨N∨¬V∨G) ∧ (¬A∨D∨N∨¬V∨¬G) ∧ (¬A∨D∨¬N∨¬V∨G) ∧ (¬A∨D∨¬N∨¬V∨¬G) ∧ (¬A∨¬D∨N∨V∨G) ∧ (¬A∨¬D∨N∨V∨¬G) ∧ (¬A∨¬D∨N∨¬V∨G) ∧ (¬A∨¬D∨N∨¬V∨¬G) ∧ (¬A∨¬D∨¬N∨V∨¬G) ∧ (¬A∨¬D∨¬N∨¬V∨¬G)
Логическая cхема:

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

По таблице истинности функции
ADNVGFж
000000
000010
000100
000110
001000
001010
001100
001110
010000
010010
010100
010110
011000
011010
011101
011110
100000
100010
100100
100110
101001
101011
101100
101110
110000
110010
110100
110110
111001
111010
111101
111110

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

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

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

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

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

Рейтинг@Mail.ru

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