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


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

(B∨C)∨D:
BCDB∨C(B∨C)∨D
00000
00101
01011
01111
10011
10111
11011
11111

B∧D:
BDB∧D
000
010
100
111

A∧((B∨C)∨D):
ABCDB∨C(B∨C)∨DA∧((B∨C)∨D)
0000000
0001010
0010110
0011110
0100110
0101110
0110110
0111110
1000000
1001011
1010111
1011111
1100111
1101111
1110111
1111111

(A∧((B∨C)∨D))∧(B∧D):
ABCDB∨C(B∨C)∨DA∧((B∨C)∨D)B∧D(A∧((B∨C)∨D))∧(B∧D)
000000000
000101000
001011000
001111000
010011000
010111010
011011000
011111010
100000000
100101100
101011100
101111100
110011100
110111111
111011100
111111111

((A∧((B∨C)∨D))∧(B∧D))≡F:
ABCDFB∨C(B∨C)∨DA∧((B∨C)∨D)B∧D(A∧((B∨C)∨D))∧(B∧D)((A∧((B∨C)∨D))∧(B∧D))≡F
00000000001
00001000000
00010010001
00011010000
00100110001
00101110000
00110110001
00111110000
01000110001
01001110000
01010110101
01011110100
01100110001
01101110000
01110110101
01111110100
10000000001
10001000000
10010011001
10011011000
10100111001
10101111000
10110111001
10111111000
11000111001
11001111000
11010111110
11011111111
11100111001
11101111000
11110111110
11111111111

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

ABCDFB∨C(B∨C)∨DB∧DA∧((B∨C)∨D)(A∧((B∨C)∨D))∧(B∧D)A∧(B∨C∨D)∧(B∧D)≡F
00000000001
00001000000
00010010001
00011010000
00100110001
00101110000
00110110001
00111110000
01000110001
01001110000
01010111001
01011111000
01100110001
01101110000
01110111001
01111111000
10000000001
10001000000
10010010101
10011010100
10100110101
10101110100
10110110101
10111110100
11000110101
11001110100
11010111110
11011111111
11100110101
11101110100
11110111110
11111111111

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

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

По таблице истинности:
ABCDFF
000001
000010
000101
000110
001001
001010
001101
001110
010001
010010
010101
010110
011001
011010
011101
011110
100001
100010
100101
100110
101001
101010
101101
101110
110001
110010
110100
110111
111001
111010
111100
111111
Fсднф = ¬A∧¬B∧¬C∧¬D∧¬F ∨ ¬A∧¬B∧¬C∧D∧¬F ∨ ¬A∧¬B∧C∧¬D∧¬F ∨ ¬A∧¬B∧C∧D∧¬F ∨ ¬A∧B∧¬C∧¬D∧¬F ∨ ¬A∧B∧¬C∧D∧¬F ∨ ¬A∧B∧C∧¬D∧¬F ∨ ¬A∧B∧C∧D∧¬F ∨ A∧¬B∧¬C∧¬D∧¬F ∨ A∧¬B∧¬C∧D∧¬F ∨ A∧¬B∧C∧¬D∧¬F ∨ A∧¬B∧C∧D∧¬F ∨ A∧B∧¬C∧¬D∧¬F ∨ A∧B∧¬C∧D∧F ∨ A∧B∧C∧¬D∧¬F ∨ A∧B∧C∧D∧F
Логическая cхема:

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

По таблице истинности:
ABCDFF
000001
000010
000101
000110
001001
001010
001101
001110
010001
010010
010101
010110
011001
011010
011101
011110
100001
100010
100101
100110
101001
101010
101101
101110
110001
110010
110100
110111
111001
111010
111100
111111
Fскнф = (A∨B∨C∨D∨¬F) ∧ (A∨B∨C∨¬D∨¬F) ∧ (A∨B∨¬C∨D∨¬F) ∧ (A∨B∨¬C∨¬D∨¬F) ∧ (A∨¬B∨C∨D∨¬F) ∧ (A∨¬B∨C∨¬D∨¬F) ∧ (A∨¬B∨¬C∨D∨¬F) ∧ (A∨¬B∨¬C∨¬D∨¬F) ∧ (¬A∨B∨C∨D∨¬F) ∧ (¬A∨B∨C∨¬D∨¬F) ∧ (¬A∨B∨¬C∨D∨¬F) ∧ (¬A∨B∨¬C∨¬D∨¬F) ∧ (¬A∨¬B∨C∨D∨¬F) ∧ (¬A∨¬B∨C∨¬D∨F) ∧ (¬A∨¬B∨¬C∨D∨¬F) ∧ (¬A∨¬B∨¬C∨¬D∨F)
Логическая cхема:

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

По таблице истинности функции
ABCDFFж
000001
000010
000101
000110
001001
001010
001101
001110
010001
010010
010101
010110
011001
011010
011101
011110
100001
100010
100101
100110
101001
101010
101101
101110
110001
110010
110100
110111
111001
111010
111100
111111

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

Так как 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 = 0 => С10001 = 1 ⊕ 0 ⊕ 1 ⊕ 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 = 0 => С01001 = 1 ⊕ 0 ⊕ 1 ⊕ 0 = 0
Fж(00110) = С00000 ⊕ С00100 ⊕ С00010 ⊕ С00110 = 1 => С00110 = 1 ⊕ 0 ⊕ 0 ⊕ 1 = 0
Fж(00101) = С00000 ⊕ С00100 ⊕ С00001 ⊕ С00101 = 0 => С00101 = 1 ⊕ 0 ⊕ 1 ⊕ 0 = 0
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 = 0 => С11010 = 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 1
Fж(11001) = С00000 ⊕ С10000 ⊕ С01000 ⊕ С00001 ⊕ С11000 ⊕ С10001 ⊕ С01001 ⊕ С11001 = 0 => С11001 = 1 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 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 = 0 => С10101 = 1 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
Fж(10011) = С00000 ⊕ С10000 ⊕ С00010 ⊕ С00001 ⊕ С10010 ⊕ С10001 ⊕ С00011 ⊕ С10011 = 0 => С10011 = 1 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 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 = 0 => С01101 = 1 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
Fж(01011) = С00000 ⊕ С01000 ⊕ С00010 ⊕ С00001 ⊕ С01010 ⊕ С01001 ⊕ С00011 ⊕ С01011 = 0 => С01011 = 1 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
Fж(00111) = С00000 ⊕ С00100 ⊕ С00010 ⊕ С00001 ⊕ С00110 ⊕ С00101 ⊕ С00011 ⊕ С00111 = 0 => С00111 = 1 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 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 ⊕ 1 ⊕ 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 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 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 = 1 => С11011 = 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 = 0
Fж(10111) = С00000 ⊕ С10000 ⊕ С00100 ⊕ С00010 ⊕ С00001 ⊕ С10100 ⊕ С10010 ⊕ С10001 ⊕ С00110 ⊕ С00101 ⊕ С00011 ⊕ С10110 ⊕ С10101 ⊕ С10011 ⊕ С00111 ⊕ С10111 = 0 => С10111 = 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 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 = 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 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 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 = 0

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

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

Рейтинг@Mail.ru

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