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


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

¬C:
C¬C
01
10

¬D:
D¬D
01
10

(¬A)∧(¬C):
AC¬A¬C(¬A)∧(¬C)
00111
01100
10010
11000

((¬A)∧(¬C))∧(¬D):
ACD¬A¬C(¬A)∧(¬C)¬D((¬A)∧(¬C))∧(¬D)
00011111
00111100
01010010
01110000
10001010
10101000
11000010
11100000

B∧(¬C):
BC¬CB∧(¬C)
0010
0100
1011
1100

(B∧(¬C))∧(¬D):
BCD¬CB∧(¬C)¬D(B∧(¬C))∧(¬D)
0001010
0011000
0100010
0110000
1001111
1011100
1100010
1110000

¬B:
B¬B
01
10

(¬B)∧C:
BC¬B(¬B)∧C
0010
0111
1000
1100

((¬B)∧C)∧D:
BCD¬B(¬B)∧C((¬B)∧C)∧D
000100
001100
010110
011111
100000
101000
110000
111000

A∧D:
ADA∧D
000
010
100
111

(((¬A)∧(¬C))∧(¬D))∨((B∧(¬C))∧(¬D)):
ACDB¬A¬C(¬A)∧(¬C)¬D((¬A)∧(¬C))∧(¬D)¬CB∧(¬C)¬D(B∧(¬C))∧(¬D)(((¬A)∧(¬C))∧(¬D))∨((B∧(¬C))∧(¬D))
00001111110101
00011111111111
00101110010000
00111110011000
01001001000100
01011001000100
01101000000000
01111000000000
10000101010100
10010101011111
10100100010000
10110100011000
11000001000100
11010001000100
11100000000000
11110000000000

((((¬A)∧(¬C))∧(¬D))∨((B∧(¬C))∧(¬D)))∨(((¬B)∧C)∧D):
ACDB¬A¬C(¬A)∧(¬C)¬D((¬A)∧(¬C))∧(¬D)¬CB∧(¬C)¬D(B∧(¬C))∧(¬D)(((¬A)∧(¬C))∧(¬D))∨((B∧(¬C))∧(¬D))¬B(¬B)∧C((¬B)∧C)∧D((((¬A)∧(¬C))∧(¬D))∨((B∧(¬C))∧(¬D)))∨(((¬B)∧C)∧D)
000011111101011001
000111111111110001
001011100100001000
001111100110000000
010010010001001100
010110010001000000
011010000000001111
011110000000000000
100001010101001000
100101010111110001
101001000100001000
101101000110000000
110000010001001100
110100010001000000
111000000000001111
111100000000000000

(((((¬A)∧(¬C))∧(¬D))∨((B∧(¬C))∧(¬D)))∨(((¬B)∧C)∧D))∨(A∧D):
ACDB¬A¬C(¬A)∧(¬C)¬D((¬A)∧(¬C))∧(¬D)¬CB∧(¬C)¬D(B∧(¬C))∧(¬D)(((¬A)∧(¬C))∧(¬D))∨((B∧(¬C))∧(¬D))¬B(¬B)∧C((¬B)∧C)∧D((((¬A)∧(¬C))∧(¬D))∨((B∧(¬C))∧(¬D)))∨(((¬B)∧C)∧D)A∧D(((((¬A)∧(¬C))∧(¬D))∨((B∧(¬C))∧(¬D)))∨(((¬B)∧C)∧D))∨(A∧D)
00001111110101100101
00011111111111000101
00101110010000100000
00111110011000000000
01001001000100110000
01011001000100000000
01101000000000111101
01111000000000000000
10000101010100100000
10010101011111000101
10100100010000100011
10110100011000000011
11000001000100110000
11010001000100000000
11100000000000111111
11110000000000000011

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

ACDB¬A¬C¬D(¬A)∧(¬C)((¬A)∧(¬C))∧(¬D)B∧(¬C)(B∧(¬C))∧(¬D)¬B(¬B)∧C((¬B)∧C)∧DA∧D(((¬A)∧(¬C))∧(¬D))∨((B∧(¬C))∧(¬D))((((¬A)∧(¬C))∧(¬D))∨((B∧(¬C))∧(¬D)))∨(((¬B)∧C)∧D)(¬A∧¬C∧¬D)∨(B∧¬C∧¬D)∨(¬B∧C∧D)∨(A∧D)
000011111001000111
000111111110000111
001011010001000000
001111010100000000
010010100001100000
010110100000000000
011010000001110011
011110000000000000
100001100001000000
100101100110000111
101001000001001001
101101000100001001
110000100001100000
110100100000000000
111000000001111011
111100000000001001

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

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

По таблице истинности:
ACDBF
00001
00011
00100
00110
01000
01010
01101
01110
10000
10011
10101
10111
11000
11010
11101
11111
Fсднф = ¬A∧¬C∧¬D∧¬B ∨ ¬A∧¬C∧¬D∧B ∨ ¬A∧C∧D∧¬B ∨ A∧¬C∧¬D∧B ∨ A∧¬C∧D∧¬B ∨ A∧¬C∧D∧B ∨ A∧C∧D∧¬B ∨ A∧C∧D∧B
Логическая cхема:

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

По таблице истинности:
ACDBF
00001
00011
00100
00110
01000
01010
01101
01110
10000
10011
10101
10111
11000
11010
11101
11111
Fскнф = (A∨C∨¬D∨B) ∧ (A∨C∨¬D∨¬B) ∧ (A∨¬C∨D∨B) ∧ (A∨¬C∨D∨¬B) ∧ (A∨¬C∨¬D∨¬B) ∧ (¬A∨C∨D∨B) ∧ (¬A∨¬C∨D∨B) ∧ (¬A∨¬C∨D∨¬B)
Логическая cхема:

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

По таблице истинности функции
ACDBFж
00001
00011
00100
00110
01000
01010
01101
01110
10000
10011
10101
10111
11000
11010
11101
11111

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

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

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

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

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

Рейтинг@Mail.ru

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