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


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

¬C:
C¬C
01
10

(¬B)→(¬C):
BC¬B¬C(¬B)→(¬C)
00111
01100
10011
11001

A∧((¬B)→(¬C)):
ABC¬B¬C(¬B)→(¬C)A∧((¬B)→(¬C))
0001110
0011000
0100110
0110010
1001111
1011000
1100111
1110011

¬A:
A¬A
01
10

(¬A)≡C:
AC¬A(¬A)≡C
0010
0111
1001
1100

(¬B)∨((¬A)≡C):
BAC¬B¬A(¬A)≡C(¬B)∨((¬A)≡C)
0001101
0011111
0101011
0111001
1000100
1010111
1100011
1110000

¬((¬B)∨((¬A)≡C)):
BAC¬B¬A(¬A)≡C(¬B)∨((¬A)≡C)¬((¬B)∨((¬A)≡C))
00011010
00111110
01010110
01110010
10001001
10101110
11000110
11100001

A∧(¬C):
AC¬CA∧(¬C)
0010
0100
1011
1100

(A∧(¬C))∨(¬((¬B)∨((¬A)≡C))):
ACB¬CA∧(¬C)¬B¬A(¬A)≡C(¬B)∨((¬A)≡C)¬((¬B)∨((¬A)≡C))(A∧(¬C))∨(¬((¬B)∨((¬A)≡C)))
00010110100
00110010011
01000111100
01100011100
10011101101
10111001101
11000100100
11100000011

(A∧((¬B)→(¬C)))≡((A∧(¬C))∨(¬((¬B)∨((¬A)≡C)))):
ABC¬B¬C(¬B)→(¬C)A∧((¬B)→(¬C))¬CA∧(¬C)¬B¬A(¬A)≡C(¬B)∨((¬A)≡C)¬((¬B)∨((¬A)≡C))(A∧(¬C))∨(¬((¬B)∨((¬A)≡C)))(A∧((¬B)→(¬C)))≡((A∧(¬C))∨(¬((¬B)∨((¬A)≡C))))
0001110101101001
0011000001111001
0100110100100110
0110010000111001
1001111111011011
1011000001001001
1100111110011011
1110011000000111

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

ABC¬B¬C(¬B)→(¬C)A∧((¬B)→(¬C))¬A(¬A)≡C(¬B)∨((¬A)≡C)¬((¬B)∨((¬A)≡C))A∧(¬C)(A∧(¬C))∨(¬((¬B)∨((¬A)≡C)))(A∧(¬B→¬C))≡(A∧¬C∨(¬(¬B∨(¬A≡C))))
00011101010001
00110001110001
01001101001010
01100101110001
10011110110111
10110000010001
11001110110111
11100110001011

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

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

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

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

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

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

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

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

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

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

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

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

Рейтинг@Mail.ru

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