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


Промежуточные таблицы истинности:
A∨C:
ACA∨C
000
011
101
111

¬D:
D¬D
01
10

(A∨C)∨(¬D):
ACDA∨C¬D(A∨C)∨(¬D)
000011
001000
010111
011101
100111
101101
110111
111101

C∧D:
CDC∧D
000
010
100
111

A∨(C∧D):
ACDC∧DA∨(C∧D)
00000
00100
01000
01111
10001
10101
11001
11111

¬((A∨C)∨(¬D)):
ACDA∨C¬D(A∨C)∨(¬D)¬((A∨C)∨(¬D))
0000110
0010001
0101110
0111010
1001110
1011010
1101110
1111010

¬(A∨(C∧D)):
ACDC∧DA∨(C∧D)¬(A∨(C∧D))
000001
001001
010001
011110
100010
101010
110010
111110

(¬((A∨C)∨(¬D)))∨(¬(A∨(C∧D))):
ACDA∨C¬D(A∨C)∨(¬D)¬((A∨C)∨(¬D))C∧DA∨(C∧D)¬(A∨(C∧D))(¬((A∨C)∨(¬D)))∨(¬(A∨(C∧D)))
00001100011
00100010011
01011100011
01110101100
10011100100
10110100100
11011100100
11110101100

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

ACDA∨C¬D(A∨C)∨(¬D)C∧DA∨(C∧D)¬((A∨C)∨(¬D))¬(A∨(C∧D))¬((A∨C)∨¬D)∨¬(A∨C∧D)
00001100011
00100000111
01011100011
01110111000
10011101000
10110101000
11011101000
11110111000

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

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

По таблице истинности:
ACDF
0001
0011
0101
0110
1000
1010
1100
1110
Fсднф = ¬A∧¬C∧¬D ∨ ¬A∧¬C∧D ∨ ¬A∧C∧¬D
Логическая cхема:

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

По таблице истинности:
ACDF
0001
0011
0101
0110
1000
1010
1100
1110
Fскнф = (A∨¬C∨¬D) ∧ (¬A∨C∨D) ∧ (¬A∨C∨¬D) ∧ (¬A∨¬C∨D) ∧ (¬A∨¬C∨¬D)
Логическая cхема:

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

По таблице истинности функции
ACDFж
0001
0011
0101
0110
1000
1010
1100
1110

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

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

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

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

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

Рейтинг@Mail.ru

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