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


Промежуточные таблицы истинности:
P∨R:
PRP∨R
000
011
101
111

Q∨R:
QRQ∨R
000
011
101
111

(P∨R)→(Q∨R):
PRQP∨RQ∨R(P∨R)→(Q∨R)
000001
001011
010111
011111
100100
101111
110111
111111

¬P:
P¬P
01
10

¬Q:
Q¬Q
01
10

(¬P)∨(¬Q):
PQ¬P¬Q(¬P)∨(¬Q)
00111
01101
10011
11000

R→((¬P)∨(¬Q)):
RPQ¬P¬Q(¬P)∨(¬Q)R→((¬P)∨(¬Q))
0001111
0011011
0100111
0110001
1001111
1011011
1100111
1110000

¬(R→((¬P)∨(¬Q))):
RPQ¬P¬Q(¬P)∨(¬Q)R→((¬P)∨(¬Q))¬(R→((¬P)∨(¬Q)))
00011110
00110110
01001110
01100010
10011110
10110110
11001110
11100001

((P∨R)→(Q∨R))→(¬(R→((¬P)∨(¬Q)))):
PRQP∨RQ∨R(P∨R)→(Q∨R)¬P¬Q(¬P)∨(¬Q)R→((¬P)∨(¬Q))¬(R→((¬P)∨(¬Q)))((P∨R)→(Q∨R))→(¬(R→((¬P)∨(¬Q))))
000001111100
001011101100
010111111100
011111101100
100100011101
101111000100
110111011100
111111000011

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

PRQP∨RQ∨R(P∨R)→(Q∨R)¬P¬Q(¬P)∨(¬Q)R→((¬P)∨(¬Q))¬(R→((¬P)∨(¬Q)))((P∨R)→(Q∨R))→¬(R→(¬P∨¬Q))
000001111100
001011101100
010111111100
011111101100
100100011101
101111000100
110111011100
111111000011

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

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

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

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

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

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

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

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

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

Далее подставляем все остальные наборы в порядке возрастания числа единиц, подставляя вновь полученные значения в следующие формулы:
Fж(100) = С000 ⊕ С100 = 1 => С100 = 0 ⊕ 1 = 1
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 ⊕ 1 ⊕ 0 ⊕ 0 = 1
Fж(101) = С000 ⊕ С100 ⊕ С001 ⊕ С101 = 0 => С101 = 0 ⊕ 1 ⊕ 0 ⊕ 0 = 1
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 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 1 ⊕ 0 ⊕ 1 = 0

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

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

Рейтинг@Mail.ru

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