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


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

¬C:
C¬C
01
10

(¬B)∧(¬C):
BC¬B¬C(¬B)∧(¬C)
00111
01100
10010
11000

((¬B)∧(¬C))∧D:
BCD¬B¬C(¬B)∧(¬C)((¬B)∧(¬C))∧D
0001110
0011111
0101000
0111000
1000100
1010100
1100000
1110000

¬A:
A¬A
01
10

(¬A)∧C:
AC¬A(¬A)∧C
0010
0111
1000
1100

((¬A)∧C)∧D:
ACD¬A(¬A)∧C((¬A)∧C)∧D
000100
001100
010110
011111
100000
101000
110000
111000

¬D:
D¬D
01
10

B∧(¬D):
BD¬DB∧(¬D)
0010
0100
1011
1100

B∧C:
BCB∧C
000
010
100
111

(((¬B)∧(¬C))∧D)∨(((¬A)∧C)∧D):
BCDA¬B¬C(¬B)∧(¬C)((¬B)∧(¬C))∧D¬A(¬A)∧C((¬A)∧C)∧D(((¬B)∧(¬C))∧D)∨(((¬A)∧C)∧D)
000011101000
000111100000
001011111001
001111110001
010010001100
010110000000
011010001111
011110000000
100001001000
100101000000
101001001000
101101000000
110000001100
110100000000
111000001111
111100000000

((((¬B)∧(¬C))∧D)∨(((¬A)∧C)∧D))∨(B∧(¬D)):
BCDA¬B¬C(¬B)∧(¬C)((¬B)∧(¬C))∧D¬A(¬A)∧C((¬A)∧C)∧D(((¬B)∧(¬C))∧D)∨(((¬A)∧C)∧D)¬DB∧(¬D)((((¬B)∧(¬C))∧D)∨(((¬A)∧C)∧D))∨(B∧(¬D))
000011101000100
000111100000100
001011111001001
001111110001001
010010001100100
010110000000100
011010001111001
011110000000000
100001001000111
100101000000111
101001001000000
101101000000000
110000001100111
110100000000111
111000001111001
111100000000000

(((((¬B)∧(¬C))∧D)∨(((¬A)∧C)∧D))∨(B∧(¬D)))∨(B∧C):
BCDA¬B¬C(¬B)∧(¬C)((¬B)∧(¬C))∧D¬A(¬A)∧C((¬A)∧C)∧D(((¬B)∧(¬C))∧D)∨(((¬A)∧C)∧D)¬DB∧(¬D)((((¬B)∧(¬C))∧D)∨(((¬A)∧C)∧D))∨(B∧(¬D))B∧C(((((¬B)∧(¬C))∧D)∨(((¬A)∧C)∧D))∨(B∧(¬D)))∨(B∧C)
00001110100010000
00011110000010000
00101111100100101
00111111000100101
01001000110010000
01011000000010000
01101000111100101
01111000000000000
10000100100011101
10010100000011101
10100100100000000
10110100000000000
11000000110011111
11010000000011111
11100000111100111
11110000000000011

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

BCDA¬B¬C(¬B)∧(¬C)((¬B)∧(¬C))∧D¬A(¬A)∧C((¬A)∧C)∧D¬DB∧(¬D)B∧C(((¬B)∧(¬C))∧D)∨(((¬A)∧C)∧D)((((¬B)∧(¬C))∧D)∨(((¬A)∧C)∧D))∨(B∧(¬D))(¬B∧¬C∧D)∨(¬A∧C∧D)∨(B∧¬D)∨(B∧C)
00001110100100000
00011110000100000
00101111100000111
00111111000000111
01001000110100000
01011000000100000
01101000111000111
01111000000000000
10000100100110011
10010100000110011
10100100100000000
10110100000000000
11000000110111011
11010000000111011
11100000111001111
11110000000001001

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

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

По таблице истинности:
BCDAF
00000
00010
00101
00111
01000
01010
01101
01110
10001
10011
10100
10110
11001
11011
11101
11111
Fсднф = ¬B∧¬C∧D∧¬A ∨ ¬B∧¬C∧D∧A ∨ ¬B∧C∧D∧¬A ∨ B∧¬C∧¬D∧¬A ∨ B∧¬C∧¬D∧A ∨ B∧C∧¬D∧¬A ∨ B∧C∧¬D∧A ∨ B∧C∧D∧¬A ∨ B∧C∧D∧A
Логическая cхема:

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

По таблице истинности:
BCDAF
00000
00010
00101
00111
01000
01010
01101
01110
10001
10011
10100
10110
11001
11011
11101
11111
Fскнф = (B∨C∨D∨A) ∧ (B∨C∨D∨¬A) ∧ (B∨¬C∨D∨A) ∧ (B∨¬C∨D∨¬A) ∧ (B∨¬C∨¬D∨¬A) ∧ (¬B∨C∨¬D∨A) ∧ (¬B∨C∨¬D∨¬A)
Логическая cхема:

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

По таблице истинности функции
BCDAFж
00000
00010
00101
00111
01000
01010
01101
01110
10001
10011
10100
10110
11001
11011
11101
11111

Построим полином Жегалкина:
Fж = C0000 ⊕ C1000∧B ⊕ C0100∧C ⊕ C0010∧D ⊕ C0001∧A ⊕ C1100∧B∧C ⊕ C1010∧B∧D ⊕ C1001∧B∧A ⊕ C0110∧C∧D ⊕ C0101∧C∧A ⊕ C0011∧D∧A ⊕ C1110∧B∧C∧D ⊕ C1101∧B∧C∧A ⊕ C1011∧B∧D∧A ⊕ C0111∧C∧D∧A ⊕ C1111∧B∧C∧D∧A

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

Далее подставляем все остальные наборы в порядке возрастания числа единиц, подставляя вновь полученные значения в следующие формулы:
Fж(1000) = С0000 ⊕ С1000 = 1 => С1000 = 0 ⊕ 1 = 1
Fж(0100) = С0000 ⊕ С0100 = 0 => С0100 = 0 ⊕ 0 = 0
Fж(0010) = С0000 ⊕ С0010 = 1 => С0010 = 0 ⊕ 1 = 1
Fж(0001) = С0000 ⊕ С0001 = 0 => С0001 = 0 ⊕ 0 = 0
Fж(1100) = С0000 ⊕ С1000 ⊕ С0100 ⊕ С1100 = 1 => С1100 = 0 ⊕ 1 ⊕ 0 ⊕ 1 = 0
Fж(1010) = С0000 ⊕ С1000 ⊕ С0010 ⊕ С1010 = 0 => С1010 = 0 ⊕ 1 ⊕ 1 ⊕ 0 = 0
Fж(1001) = С0000 ⊕ С1000 ⊕ С0001 ⊕ С1001 = 1 => С1001 = 0 ⊕ 1 ⊕ 0 ⊕ 1 = 0
Fж(0110) = С0000 ⊕ С0100 ⊕ С0010 ⊕ С0110 = 1 => С0110 = 0 ⊕ 0 ⊕ 1 ⊕ 1 = 0
Fж(0101) = С0000 ⊕ С0100 ⊕ С0001 ⊕ С0101 = 0 => С0101 = 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
Fж(0011) = С0000 ⊕ С0010 ⊕ С0001 ⊕ С0011 = 1 => С0011 = 0 ⊕ 1 ⊕ 0 ⊕ 1 = 0
Fж(1110) = С0000 ⊕ С1000 ⊕ С0100 ⊕ С0010 ⊕ С1100 ⊕ С1010 ⊕ С0110 ⊕ С1110 = 1 => С1110 = 0 ⊕ 1 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 = 1
Fж(1101) = С0000 ⊕ С1000 ⊕ С0100 ⊕ С0001 ⊕ С1100 ⊕ С1001 ⊕ С0101 ⊕ С1101 = 1 => С1101 = 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 = 0
Fж(1011) = С0000 ⊕ С1000 ⊕ С0010 ⊕ С0001 ⊕ С1010 ⊕ С1001 ⊕ С0011 ⊕ С1011 = 0 => С1011 = 0 ⊕ 1 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
Fж(0111) = С0000 ⊕ С0100 ⊕ С0010 ⊕ С0001 ⊕ С0110 ⊕ С0101 ⊕ С0011 ⊕ С0111 = 0 => С0111 = 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 1
Fж(1111) = С0000 ⊕ С1000 ⊕ С0100 ⊕ С0010 ⊕ С0001 ⊕ С1100 ⊕ С1010 ⊕ С1001 ⊕ С0110 ⊕ С0101 ⊕ С0011 ⊕ С1110 ⊕ С1101 ⊕ С1011 ⊕ С0111 ⊕ С1111 = 1 => С1111 = 0 ⊕ 1 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 1 = 1

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

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

Рейтинг@Mail.ru

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