Таблица истинности для функции ¬(((((P∧P)∧V∧P)∧Q)∧P)→(Q∧V∧¬Q)):


Промежуточные таблицы истинности:
P∧P:
PP∧P
00
11

(P∧P)∧V:
PVP∧P(P∧P)∧V
0000
0100
1010
1111

((P∧P)∧V)∧P:
PVP∧P(P∧P)∧V((P∧P)∧V)∧P
00000
01000
10100
11111

(((P∧P)∧V)∧P)∧Q:
PVQP∧P(P∧P)∧V((P∧P)∧V)∧P(((P∧P)∧V)∧P)∧Q
0000000
0010000
0100000
0110000
1001000
1011000
1101110
1111111

((((P∧P)∧V)∧P)∧Q)∧P:
PVQP∧P(P∧P)∧V((P∧P)∧V)∧P(((P∧P)∧V)∧P)∧Q((((P∧P)∧V)∧P)∧Q)∧P
00000000
00100000
01000000
01100000
10010000
10110000
11011100
11111111

¬Q:
Q¬Q
01
10

Q∧V:
QVQ∧V
000
010
100
111

(Q∧V)∧(¬Q):
QVQ∧V¬Q(Q∧V)∧(¬Q)
00010
01010
10000
11100

(((((P∧P)∧V)∧P)∧Q)∧P)→((Q∧V)∧(¬Q)):
PVQP∧P(P∧P)∧V((P∧P)∧V)∧P(((P∧P)∧V)∧P)∧Q((((P∧P)∧V)∧P)∧Q)∧PQ∧V¬Q(Q∧V)∧(¬Q)(((((P∧P)∧V)∧P)∧Q)∧P)→((Q∧V)∧(¬Q))
000000000101
001000000001
010000000101
011000001001
100100000101
101100000001
110111000101
111111111000

¬((((((P∧P)∧V)∧P)∧Q)∧P)→((Q∧V)∧(¬Q))):
PVQP∧P(P∧P)∧V((P∧P)∧V)∧P(((P∧P)∧V)∧P)∧Q((((P∧P)∧V)∧P)∧Q)∧PQ∧V¬Q(Q∧V)∧(¬Q)(((((P∧P)∧V)∧P)∧Q)∧P)→((Q∧V)∧(¬Q))¬((((((P∧P)∧V)∧P)∧Q)∧P)→((Q∧V)∧(¬Q)))
0000000001010
0010000000010
0100000001010
0110000010010
1001000001010
1011000000010
1101110001010
1111111110001

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

PVQP∧P(P∧P)∧V((P∧P)∧V)∧P(((P∧P)∧V)∧P)∧Q((((P∧P)∧V)∧P)∧Q)∧P¬QQ∧V(Q∧V)∧(¬Q)(((((P∧P)∧V)∧P)∧Q)∧P)→((Q∧V)∧(¬Q))¬(((((P∧P)∧V∧P)∧Q)∧P)→(Q∧V∧¬Q))
0000000010010
0010000000010
0100000010010
0110000001010
1001000010010
1011000000010
1101110010010
1111111101001

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

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

По таблице истинности:
PVQF
0000
0010
0100
0110
1000
1010
1100
1111
Fсднф = P∧V∧Q
Логическая cхема:

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

По таблице истинности:
PVQF
0000
0010
0100
0110
1000
1010
1100
1111
Fскнф = (P∨V∨Q) ∧ (P∨V∨¬Q) ∧ (P∨¬V∨Q) ∧ (P∨¬V∨¬Q) ∧ (¬P∨V∨Q) ∧ (¬P∨V∨¬Q) ∧ (¬P∨¬V∨Q)
Логическая cхема:

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

По таблице истинности функции
PVQFж
0000
0010
0100
0110
1000
1010
1100
1111

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

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

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

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

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

Рейтинг@Mail.ru

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