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


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

A∨(¬B):
AB¬BA∨(¬B)
0011
0100
1011
1101

¬A:
A¬A
01
10

¬C:
C¬C
01
10

C∨(¬A):
CA¬AC∨(¬A)
0011
0100
1011
1101

A⊕B:
ABA⊕B
000
011
101
110

(A⊕B)⊕(C∨(¬A)):
ABCA⊕B¬AC∨(¬A)(A⊕B)⊕(C∨(¬A))
0000111
0010111
0101110
0111110
1001001
1011010
1100000
1110011

((A⊕B)⊕(C∨(¬A)))⊕(¬B):
ABCA⊕B¬AC∨(¬A)(A⊕B)⊕(C∨(¬A))¬B((A⊕B)⊕(C∨(¬A)))⊕(¬B)
000011110
001011110
010111000
011111000
100100110
101101011
110000000
111001101

(((A⊕B)⊕(C∨(¬A)))⊕(¬B))⊕(¬C):
ABCA⊕B¬AC∨(¬A)(A⊕B)⊕(C∨(¬A))¬B((A⊕B)⊕(C∨(¬A)))⊕(¬B)¬C(((A⊕B)⊕(C∨(¬A)))⊕(¬B))⊕(¬C)
00001111011
00101111000
01011100011
01111100000
10010011011
10110101101
11000000011
11100110101

(¬A)∨C:
AC¬A(¬A)∨C
0011
0111
1000
1101

(¬C)∨B:
CB¬C(¬C)∨B
0011
0111
1000
1101

(A∨(¬B))⊕((((A⊕B)⊕(C∨(¬A)))⊕(¬B))⊕(¬C)):
ABC¬BA∨(¬B)A⊕B¬AC∨(¬A)(A⊕B)⊕(C∨(¬A))¬B((A⊕B)⊕(C∨(¬A)))⊕(¬B)¬C(((A⊕B)⊕(C∨(¬A)))⊕(¬B))⊕(¬C)(A∨(¬B))⊕((((A⊕B)⊕(C∨(¬A)))⊕(¬B))⊕(¬C))
00011011110110
00111011110001
01000111000111
01100111000000
10011100110110
10111101011010
11001000000110
11101001101010

((A∨(¬B))⊕((((A⊕B)⊕(C∨(¬A)))⊕(¬B))⊕(¬C)))⊕((¬A)∨C):
ABC¬BA∨(¬B)A⊕B¬AC∨(¬A)(A⊕B)⊕(C∨(¬A))¬B((A⊕B)⊕(C∨(¬A)))⊕(¬B)¬C(((A⊕B)⊕(C∨(¬A)))⊕(¬B))⊕(¬C)(A∨(¬B))⊕((((A⊕B)⊕(C∨(¬A)))⊕(¬B))⊕(¬C))¬A(¬A)∨C((A∨(¬B))⊕((((A⊕B)⊕(C∨(¬A)))⊕(¬B))⊕(¬C)))⊕((¬A)∨C)
00011011110110111
00111011110001110
01000111000111110
01100111000000111
10011100110110000
10111101011010011
11001000000110000
11101001101010011

(((A∨(¬B))⊕((((A⊕B)⊕(C∨(¬A)))⊕(¬B))⊕(¬C)))⊕((¬A)∨C))⊕((¬C)∨B):
ABC¬BA∨(¬B)A⊕B¬AC∨(¬A)(A⊕B)⊕(C∨(¬A))¬B((A⊕B)⊕(C∨(¬A)))⊕(¬B)¬C(((A⊕B)⊕(C∨(¬A)))⊕(¬B))⊕(¬C)(A∨(¬B))⊕((((A⊕B)⊕(C∨(¬A)))⊕(¬B))⊕(¬C))¬A(¬A)∨C((A∨(¬B))⊕((((A⊕B)⊕(C∨(¬A)))⊕(¬B))⊕(¬C)))⊕((¬A)∨C)¬C(¬C)∨B(((A∨(¬B))⊕((((A⊕B)⊕(C∨(¬A)))⊕(¬B))⊕(¬C)))⊕((¬A)∨C))⊕((¬C)∨B)
00011011110110111110
00111011110001110000
01000111000111110111
01100111000000111010
10011100110110000111
10111101011010011001
11001000000110000111
11101001101010011010

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

ABC¬BA∨(¬B)¬A¬CC∨(¬A)A⊕B(A⊕B)⊕(C∨(¬A))((A⊕B)⊕(C∨(¬A)))⊕(¬B)(((A⊕B)⊕(C∨(¬A)))⊕(¬B))⊕(¬C)(¬A)∨C(¬C)∨B(A∨(¬B))⊕((((A⊕B)⊕(C∨(¬A)))⊕(¬B))⊕(¬C))((A∨(¬B))⊕((((A⊕B)⊕(C∨(¬A)))⊕(¬B))⊕(¬C)))⊕((¬A)∨C)(A∨¬B)⊕(A⊕B⊕C∨¬A⊕¬B⊕¬C)⊕(¬A∨C)⊕(¬C∨B)
00011111010111010
00111101010010100
01000111100111101
01100101100011010
10011010110101001
10111001101110011
11001010000101001
11101001011111010

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

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

По таблице истинности:
ABCF
0000
0010
0101
0110
1001
1011
1101
1110
Fсднф = ¬A∧B∧¬C ∨ A∧¬B∧¬C ∨ A∧¬B∧C ∨ A∧B∧¬C
Логическая cхема:

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

По таблице истинности:
ABCF
0000
0010
0101
0110
1001
1011
1101
1110
Fскнф = (A∨B∨C) ∧ (A∨B∨¬C) ∧ (A∨¬B∨¬C) ∧ (¬A∨¬B∨¬C)
Логическая cхема:

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

По таблице истинности функции
ABCFж
0000
0010
0101
0110
1001
1011
1101
1110

Построим полином Жегалкина:
Fж = C000 ⊕ C100∧A ⊕ C010∧B ⊕ C001∧C ⊕ C110∧A∧B ⊕ C101∧A∧C ⊕ C011∧B∧C ⊕ C111∧A∧B∧C

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

Далее подставляем все остальные наборы в порядке возрастания числа единиц, подставляя вновь полученные значения в следующие формулы:
Fж(100) = С000 ⊕ С100 = 1 => С100 = 0 ⊕ 1 = 1
Fж(010) = С000 ⊕ С010 = 1 => С010 = 0 ⊕ 1 = 1
Fж(001) = С000 ⊕ С001 = 0 => С001 = 0 ⊕ 0 = 0
Fж(110) = С000 ⊕ С100 ⊕ С010 ⊕ С110 = 1 => С110 = 0 ⊕ 1 ⊕ 1 ⊕ 1 = 1
Fж(101) = С000 ⊕ С100 ⊕ С001 ⊕ С101 = 1 => С101 = 0 ⊕ 1 ⊕ 0 ⊕ 1 = 0
Fж(011) = С000 ⊕ С010 ⊕ С001 ⊕ С011 = 0 => С011 = 0 ⊕ 1 ⊕ 0 ⊕ 0 = 1
Fж(111) = С000 ⊕ С100 ⊕ С010 ⊕ С001 ⊕ С110 ⊕ С101 ⊕ С011 ⊕ С111 = 0 => С111 = 0 ⊕ 1 ⊕ 1 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 1 ⊕ 0 = 0

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

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

Рейтинг@Mail.ru

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