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


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

¬C:
C¬C
01
10

¬A:
A¬A
01
10

B∧C:
BCB∧C
000
010
100
111

A∧(¬B):
AB¬BA∧(¬B)
0010
0100
1011
1100

(A∧(¬B))∧(¬C):
ABC¬BA∧(¬B)¬C(A∧(¬B))∧(¬C)
0001010
0011000
0100010
0110000
1001111
1011100
1100010
1110000

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

(B∧C)∨((A∧(¬B))∧(¬C)):
BCAB∧C¬BA∧(¬B)¬C(A∧(¬B))∧(¬C)(B∧C)∨((A∧(¬B))∧(¬C))
000010100
001011111
010010000
011011000
100000100
101000100
110100001
111100001

((B∧C)∨((A∧(¬B))∧(¬C)))∨((¬A)∧C):
BCAB∧C¬BA∧(¬B)¬C(A∧(¬B))∧(¬C)(B∧C)∨((A∧(¬B))∧(¬C))¬A(¬A)∧C((B∧C)∨((A∧(¬B))∧(¬C)))∨((¬A)∧C)
000010100100
001011111001
010010000111
011011000000
100000100100
101000100000
110100001111
111100001001

A∧B:
ABA∧B
000
010
100
111

A∧C:
ACA∧C
000
010
100
111

(A∧B)∨(¬C):
ABCA∧B¬C(A∧B)∨(¬C)
000011
001000
010011
011000
100011
101000
110111
111101

((A∧B)∨(¬C))∨(A∧C):
ABCA∧B¬C(A∧B)∨(¬C)A∧C((A∧B)∨(¬C))∨(A∧C)
00001101
00100000
01001101
01100000
10001101
10100011
11011101
11110111

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

(B∧C)∨((¬B)∧(¬C)):
BCB∧C¬B¬C(¬B)∧(¬C)(B∧C)∨((¬B)∧(¬C))
0001111
0101000
1000100
1110001

(((B∧C)∨((A∧(¬B))∧(¬C)))∨((¬A)∧C))∧(((A∧B)∨(¬C))∨(A∧C)):
BCAB∧C¬BA∧(¬B)¬C(A∧(¬B))∧(¬C)(B∧C)∨((A∧(¬B))∧(¬C))¬A(¬A)∧C((B∧C)∨((A∧(¬B))∧(¬C)))∨((¬A)∧C)A∧B¬C(A∧B)∨(¬C)A∧C((A∧B)∨(¬C))∨(A∧C)(((B∧C)∨((A∧(¬B))∧(¬C)))∨((¬A)∧C))∧(((A∧B)∨(¬C))∨(A∧C))
000010100100011010
001011111001011011
010010000111000000
011011000000000110
100000100100011010
101000100000111010
110100001111000000
111100001001101111

A∧((B∧C)∨((¬B)∧(¬C))):
ABCB∧C¬B¬C(¬B)∧(¬C)(B∧C)∨((¬B)∧(¬C))A∧((B∧C)∨((¬B)∧(¬C)))
000011110
001010000
010001000
011100010
100011111
101010000
110001000
111100011

((((B∧C)∨((A∧(¬B))∧(¬C)))∨((¬A)∧C))∧(((A∧B)∨(¬C))∨(A∧C)))≡(A∧((B∧C)∨((¬B)∧(¬C)))):
BCAB∧C¬BA∧(¬B)¬C(A∧(¬B))∧(¬C)(B∧C)∨((A∧(¬B))∧(¬C))¬A(¬A)∧C((B∧C)∨((A∧(¬B))∧(¬C)))∨((¬A)∧C)A∧B¬C(A∧B)∨(¬C)A∧C((A∧B)∨(¬C))∨(A∧C)(((B∧C)∨((A∧(¬B))∧(¬C)))∨((¬A)∧C))∧(((A∧B)∨(¬C))∨(A∧C))B∧C¬B¬C(¬B)∧(¬C)(B∧C)∨((¬B)∧(¬C))A∧((B∧C)∨((¬B)∧(¬C)))((((B∧C)∨((A∧(¬B))∧(¬C)))∨((¬A)∧C))∧(((A∧B)∨(¬C))∨(A∧C)))≡(A∧((B∧C)∨((¬B)∧(¬C))))
0000101001000110100111101
0010111110010110110111111
0100100001110000000100001
0110110000000001100100001
1000001001000110100010001
1010001000001110100010001
1101000011110000001000101
1111000010011011111000111

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

BCA¬B¬C¬AB∧CA∧(¬B)(A∧(¬B))∧(¬C)(¬A)∧C(B∧C)∨((A∧(¬B))∧(¬C))((B∧C)∨((A∧(¬B))∧(¬C)))∨((¬A)∧C)A∧BA∧C(A∧B)∨(¬C)((A∧B)∨(¬C))∨(A∧C)(¬B)∧(¬C)(B∧C)∨((¬B)∧(¬C))(((B∧C)∨((A∧(¬B))∧(¬C)))∨((¬A)∧C))∧(((A∧B)∨(¬C))∨(A∧C))A∧((B∧C)∨((¬B)∧(¬C)))(B∧C∨A∧¬B∧¬C∨¬A∧C)∧(A∧B∨¬C∨A∧C)≡A∧((B∧C)∨(¬B∧¬C))
000111000000001111001
001110011011001111111
010101000101000000001
011100010000010100001
100011000000001100001
101010000000101100001
110001100111000001001
111000100011111101111

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

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

По таблице истинности:
BCAF
0001
0011
0101
0111
1001
1011
1101
1111
Fсднф = ¬B∧¬C∧¬A ∨ ¬B∧¬C∧A ∨ ¬B∧C∧¬A ∨ ¬B∧C∧A ∨ B∧¬C∧¬A ∨ B∧¬C∧A ∨ B∧C∧¬A ∨ B∧C∧A
Логическая cхема:

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

По таблице истинности:
BCAF
0001
0011
0101
0111
1001
1011
1101
1111
В таблице истинности нет набора значений переменных при которых функция ложна!

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

По таблице истинности функции
BCAFж
0001
0011
0101
0111
1001
1011
1101
1111

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

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

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

Таким образом, полином Жегалкина будет равен:
Fж = 1

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

Рейтинг@Mail.ru

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