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


Промежуточные таблицы истинности:
P→R:
PRP→R
001
011
100
111

¬Q:
Q¬Q
01
10

(¬Q)∨R:
QR¬Q(¬Q)∨R
0011
0111
1000
1101

P∨Q:
PQP∨Q
000
011
101
111

¬R:
R¬R
01
10

(P∨Q)∧(¬R):
PQRP∨Q¬R(P∨Q)∧(¬R)
000010
001000
010111
011100
100111
101100
110111
111100

¬((P∨Q)∧(¬R)):
PQRP∨Q¬R(P∨Q)∧(¬R)¬((P∨Q)∧(¬R))
0000101
0010001
0101110
0111001
1001110
1011001
1101110
1111001

((¬Q)∨R)→(¬((P∨Q)∧(¬R))):
QRP¬Q(¬Q)∨RP∨Q¬R(P∨Q)∧(¬R)¬((P∨Q)∧(¬R))((¬Q)∨R)→(¬((P∨Q)∧(¬R)))
0001101011
0011111100
0101100011
0111110011
1000011101
1010011101
1100110011
1110110011

(P→R)→(((¬Q)∨R)→(¬((P∨Q)∧(¬R)))):
PRQP→R¬Q(¬Q)∨RP∨Q¬R(P∨Q)∧(¬R)¬((P∨Q)∧(¬R))((¬Q)∨R)→(¬((P∨Q)∧(¬R)))(P→R)→(((¬Q)∨R)→(¬((P∨Q)∧(¬R))))
000111010111
001100111011
010111000111
011101100111
100011111001
101000111011
110111100111
111101100111

¬((P→R)→(((¬Q)∨R)→(¬((P∨Q)∧(¬R))))):
PRQP→R¬Q(¬Q)∨RP∨Q¬R(P∨Q)∧(¬R)¬((P∨Q)∧(¬R))((¬Q)∨R)→(¬((P∨Q)∧(¬R)))(P→R)→(((¬Q)∨R)→(¬((P∨Q)∧(¬R))))¬((P→R)→(((¬Q)∨R)→(¬((P∨Q)∧(¬R)))))
0001110101110
0011001110110
0101110001110
0111011001110
1000111110010
1010001110110
1101111001110
1111011001110

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

PRQP→R¬Q(¬Q)∨RP∨Q¬R(P∨Q)∧(¬R)¬((P∨Q)∧(¬R))((¬Q)∨R)→(¬((P∨Q)∧(¬R)))(P→R)→(((¬Q)∨R)→(¬((P∨Q)∧(¬R))))¬((P→R)→((¬Q∨R)→¬((P∨Q)∧¬R)))
0001110101110
0011001110110
0101110001110
0111011001110
1000111110010
1010001110110
1101111001110
1111011001110

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

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

По таблице истинности:
PRQF
0000
0010
0100
0110
1000
1010
1100
1110
В таблице истинности нет набора значений переменных при которых функция истинна!

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

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

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

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

Построим полином Жегалкина:
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 = 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 = 0 => С111 = 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0

Таким образом, полином Жегалкина будет равен:
Fж = 0

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

Рейтинг@Mail.ru

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