Таблица истинности для функции F∧(P∧Q∧R)≡P∧Q∧V∧R∧V∧(P∧V∧R)∧Q:


Промежуточные таблицы истинности:
P∧Q:
PQP∧Q
000
010
100
111

(P∧Q)∧R:
PQRP∧Q(P∧Q)∧R
00000
00100
01000
01100
10000
10100
11010
11111

P∧V:
PVP∧V
000
010
100
111

(P∧V)∧R:
PVRP∧V(P∧V)∧R
00000
00100
01000
01100
10000
10100
11010
11111

F∧((P∧Q)∧R):
FPQRP∧Q(P∧Q)∧RF∧((P∧Q)∧R)
0000000
0001000
0010000
0011000
0100000
0101000
0110100
0111110
1000000
1001000
1010000
1011000
1100000
1101000
1110100
1111111

(P∧Q)∧V:
PQVP∧Q(P∧Q)∧V
00000
00100
01000
01100
10000
10100
11010
11111

((P∧Q)∧V)∧R:
PQVRP∧Q(P∧Q)∧V((P∧Q)∧V)∧R
0000000
0001000
0010000
0011000
0100000
0101000
0110000
0111000
1000000
1001000
1010000
1011000
1100100
1101100
1110110
1111111

(((P∧Q)∧V)∧R)∧V:
PQVRP∧Q(P∧Q)∧V((P∧Q)∧V)∧R(((P∧Q)∧V)∧R)∧V
00000000
00010000
00100000
00110000
01000000
01010000
01100000
01110000
10000000
10010000
10100000
10110000
11001000
11011000
11101100
11111111

((((P∧Q)∧V)∧R)∧V)∧((P∧V)∧R):
PQVRP∧Q(P∧Q)∧V((P∧Q)∧V)∧R(((P∧Q)∧V)∧R)∧VP∧V(P∧V)∧R((((P∧Q)∧V)∧R)∧V)∧((P∧V)∧R)
00000000000
00010000000
00100000000
00110000000
01000000000
01010000000
01100000000
01110000000
10000000000
10010000000
10100000100
10110000110
11001000000
11011000000
11101100100
11111111111

(((((P∧Q)∧V)∧R)∧V)∧((P∧V)∧R))∧Q:
PQVRP∧Q(P∧Q)∧V((P∧Q)∧V)∧R(((P∧Q)∧V)∧R)∧VP∧V(P∧V)∧R((((P∧Q)∧V)∧R)∧V)∧((P∧V)∧R)(((((P∧Q)∧V)∧R)∧V)∧((P∧V)∧R))∧Q
000000000000
000100000000
001000000000
001100000000
010000000000
010100000000
011000000000
011100000000
100000000000
100100000000
101000001000
101100001100
110010000000
110110000000
111011001000
111111111111

(F∧((P∧Q)∧R))≡((((((P∧Q)∧V)∧R)∧V)∧((P∧V)∧R))∧Q):
FPQRVP∧Q(P∧Q)∧RF∧((P∧Q)∧R)P∧Q(P∧Q)∧V((P∧Q)∧V)∧R(((P∧Q)∧V)∧R)∧VP∧V(P∧V)∧R((((P∧Q)∧V)∧R)∧V)∧((P∧V)∧R)(((((P∧Q)∧V)∧R)∧V)∧((P∧V)∧R))∧Q(F∧((P∧Q)∧R))≡((((((P∧Q)∧V)∧R)∧V)∧((P∧V)∧R))∧Q)
00000000000000001
00001000000000001
00010000000000001
00011000000000001
00100000000000001
00101000000000001
00110000000000001
00111000000000001
01000000000000001
01001000000010001
01010000000000001
01011000000011001
01100100100000001
01101100110010001
01110110100000001
01111110111111110
10000000000000001
10001000000000001
10010000000000001
10011000000000001
10100000000000001
10101000000000001
10110000000000001
10111000000000001
11000000000000001
11001000000010001
11010000000000001
11011000000011001
11100100100000001
11101100110010001
11110111100000000
11111111111111111

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

FPQRVP∧Q(P∧Q)∧RP∧V(P∧V)∧RF∧((P∧Q)∧R)(P∧Q)∧V((P∧Q)∧V)∧R(((P∧Q)∧V)∧R)∧V((((P∧Q)∧V)∧R)∧V)∧((P∧V)∧R)(((((P∧Q)∧V)∧R)∧V)∧((P∧V)∧R))∧QF∧(P∧Q∧R)≡P∧Q∧V∧R∧V∧(P∧V∧R)∧Q
0000000000000001
0000100000000001
0001000000000001
0001100000000001
0010000000000001
0010100000000001
0011000000000001
0011100000000001
0100000000000001
0100100100000001
0101000000000001
0101100110000001
0110010000000001
0110110100100001
0111011000000001
0111111110111110
1000000000000001
1000100000000001
1001000000000001
1001100000000001
1010000000000001
1010100000000001
1011000000000001
1011100000000001
1100000000000001
1100100100000001
1101000000000001
1101100110000001
1110010000000001
1110110100100001
1111011001000000
1111111111111111

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

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

По таблице истинности:
FPQRVF
000001
000011
000101
000111
001001
001011
001101
001111
010001
010011
010101
010111
011001
011011
011101
011110
100001
100011
100101
100111
101001
101011
101101
101111
110001
110011
110101
110111
111001
111011
111100
111111
Fсднф = ¬F∧¬P∧¬Q∧¬R∧¬V ∨ ¬F∧¬P∧¬Q∧¬R∧V ∨ ¬F∧¬P∧¬Q∧R∧¬V ∨ ¬F∧¬P∧¬Q∧R∧V ∨ ¬F∧¬P∧Q∧¬R∧¬V ∨ ¬F∧¬P∧Q∧¬R∧V ∨ ¬F∧¬P∧Q∧R∧¬V ∨ ¬F∧¬P∧Q∧R∧V ∨ ¬F∧P∧¬Q∧¬R∧¬V ∨ ¬F∧P∧¬Q∧¬R∧V ∨ ¬F∧P∧¬Q∧R∧¬V ∨ ¬F∧P∧¬Q∧R∧V ∨ ¬F∧P∧Q∧¬R∧¬V ∨ ¬F∧P∧Q∧¬R∧V ∨ ¬F∧P∧Q∧R∧¬V ∨ F∧¬P∧¬Q∧¬R∧¬V ∨ F∧¬P∧¬Q∧¬R∧V ∨ F∧¬P∧¬Q∧R∧¬V ∨ F∧¬P∧¬Q∧R∧V ∨ F∧¬P∧Q∧¬R∧¬V ∨ F∧¬P∧Q∧¬R∧V ∨ F∧¬P∧Q∧R∧¬V ∨ F∧¬P∧Q∧R∧V ∨ F∧P∧¬Q∧¬R∧¬V ∨ F∧P∧¬Q∧¬R∧V ∨ F∧P∧¬Q∧R∧¬V ∨ F∧P∧¬Q∧R∧V ∨ F∧P∧Q∧¬R∧¬V ∨ F∧P∧Q∧¬R∧V ∨ F∧P∧Q∧R∧V
Логическая cхема:

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

По таблице истинности:
FPQRVF
000001
000011
000101
000111
001001
001011
001101
001111
010001
010011
010101
010111
011001
011011
011101
011110
100001
100011
100101
100111
101001
101011
101101
101111
110001
110011
110101
110111
111001
111011
111100
111111
Fскнф = (F∨¬P∨¬Q∨¬R∨¬V) ∧ (¬F∨¬P∨¬Q∨¬R∨V)
Логическая cхема:

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

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

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

Так как 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 = 1 => С00011 = 1 ⊕ 0 ⊕ 0 ⊕ 1 = 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 ⊕ 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 ⊕ 0 ⊕ 1 = 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 = 1 => С00111 = 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 = 0
Fж(11110) = С00000 ⊕ С10000 ⊕ С01000 ⊕ С00100 ⊕ С00010 ⊕ С11000 ⊕ С10100 ⊕ С10010 ⊕ С01100 ⊕ С01010 ⊕ С00110 ⊕ С11100 ⊕ С11010 ⊕ С10110 ⊕ С01110 ⊕ С11110 = 0 => С11110 = 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 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 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 = 0
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 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 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 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 = 0
Fж(01111) = С00000 ⊕ С01000 ⊕ С00100 ⊕ С00010 ⊕ С00001 ⊕ С01100 ⊕ С01010 ⊕ С01001 ⊕ С00110 ⊕ С00101 ⊕ С00011 ⊕ С01110 ⊕ С01101 ⊕ С01011 ⊕ С00111 ⊕ С01111 = 0 => С01111 = 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 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 = 1 => С11111 = 1 ⊕ 0 ⊕ 0 ⊕ 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 ⊕ 1 ⊕ 1 = 0

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

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

Рейтинг@Mail.ru

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