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


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

(¬A)∧D:
AD¬A(¬A)∧D
0010
0111
1000
1100

((¬A)∧D)→A:
AD¬A(¬A)∧D((¬A)∧D)→A
00101
01110
10001
11001

A∧C:
ACA∧C
000
010
100
111

(A∧C)∧D:
ACDA∧C(A∧C)∧D
00000
00100
01000
01100
10000
10100
11010
11111

((A∧C)∧D)∨C:
ACDA∧C(A∧C)∧D((A∧C)∧D)∨C
000000
001000
010001
011001
100000
101000
110101
111111

¬C:
C¬C
01
10

((A∧C)∧D)∨(¬C):
ACDA∧C(A∧C)∧D¬C((A∧C)∧D)∨(¬C)
0000011
0010011
0100000
0110000
1000011
1010011
1101000
1111101

¬(((A∧C)∧D)∨(¬C)):
ACDA∧C(A∧C)∧D¬C((A∧C)∧D)∨(¬C)¬(((A∧C)∧D)∨(¬C))
00000110
00100110
01000001
01100001
10000110
10100110
11010001
11111010

A→(¬(((A∧C)∧D)∨(¬C))):
ACDA∧C(A∧C)∧D¬C((A∧C)∧D)∨(¬C)¬(((A∧C)∧D)∨(¬C))A→(¬(((A∧C)∧D)∨(¬C)))
000001101
001001101
010000011
011000011
100001100
101001100
110100011
111110100

¬(((¬A)∧D)→A):
AD¬A(¬A)∧D((¬A)∧D)→A¬(((¬A)∧D)→A)
001010
011101
100010
110010

¬(((A∧C)∧D)∨C):
ACDA∧C(A∧C)∧D((A∧C)∧D)∨C¬(((A∧C)∧D)∨C)
0000001
0010001
0100010
0110010
1000001
1010001
1101010
1111110

(¬(((A∧C)∧D)∨C))∧(A→(¬(((A∧C)∧D)∨(¬C)))):
ACDA∧C(A∧C)∧D((A∧C)∧D)∨C¬(((A∧C)∧D)∨C)A∧C(A∧C)∧D¬C((A∧C)∧D)∨(¬C)¬(((A∧C)∧D)∨(¬C))A→(¬(((A∧C)∧D)∨(¬C)))(¬(((A∧C)∧D)∨C))∧(A→(¬(((A∧C)∧D)∨(¬C))))
00000010011011
00100010011011
01000100000110
01100100000110
10000010011000
10100010011000
11010101000110
11111101101000

(¬(((¬A)∧D)→A))→((¬(((A∧C)∧D)∨C))∧(A→(¬(((A∧C)∧D)∨(¬C))))):
ADC¬A(¬A)∧D((¬A)∧D)→A¬(((¬A)∧D)→A)A∧C(A∧C)∧D((A∧C)∧D)∨C¬(((A∧C)∧D)∨C)A∧C(A∧C)∧D¬C((A∧C)∧D)∨(¬C)¬(((A∧C)∧D)∨(¬C))A→(¬(((A∧C)∧D)∨(¬C)))(¬(((A∧C)∧D)∨C))∧(A→(¬(((A∧C)∧D)∨(¬C))))(¬(((¬A)∧D)→A))→((¬(((A∧C)∧D)∨C))∧(A→(¬(((A∧C)∧D)∨(¬C)))))
0001010000100110111
0011010001000001101
0101101000100110111
0111101001000001100
1000010000100110001
1010010101010001101
1100010000100110001
1110010111011010001

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

ADC¬A(¬A)∧D((¬A)∧D)→AA∧C(A∧C)∧D((A∧C)∧D)∨C¬C((A∧C)∧D)∨(¬C)¬(((A∧C)∧D)∨(¬C))A→(¬(((A∧C)∧D)∨(¬C)))¬(((¬A)∧D)→A)¬(((A∧C)∧D)∨C)(¬(((A∧C)∧D)∨C))∧(A→(¬(((A∧C)∧D)∨(¬C))))¬(¬A∧D→A)→¬(A∧C∧D∨C)∧(A→¬(A∧C∧D∨¬C))
00010100011010111
00110100100110001
01011000011011111
01111000100111000
10000100011000101
10100110100110001
11000100011000101
11100111101000001

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

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

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

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

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

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

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

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

Так как 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 = 0 => С011 = 1 ⊕ 0 ⊕ 0 ⊕ 0 = 1
Fж(111) = С000 ⊕ С100 ⊕ С010 ⊕ С001 ⊕ С110 ⊕ С101 ⊕ С011 ⊕ С111 = 1 => С111 = 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 1 = 1

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

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

Рейтинг@Mail.ru

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