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


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

¬Q:
Q¬Q
01
10

¬R:
R¬R
01
10

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

((¬P)∨(¬Q))∨(¬R):
PQR¬P¬Q(¬P)∨(¬Q)¬R((¬P)∨(¬Q))∨(¬R)
00011111
00111101
01010111
01110101
10001111
10101101
11000011
11100000

(((¬P)∨(¬Q))∨(¬R))∨Q:
PQR¬P¬Q(¬P)∨(¬Q)¬R((¬P)∨(¬Q))∨(¬R)(((¬P)∨(¬Q))∨(¬R))∨Q
000111111
001111011
010101111
011101011
100011111
101011011
110000111
111000001

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

PQR¬P¬Q¬R(¬P)∨(¬Q)((¬P)∨(¬Q))∨(¬R)¬P∨¬Q∨¬R∨Q
000111111
001110111
010101111
011100111
100011111
101010111
110001011
111000001

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

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

По таблице истинности:
PQRF
0001
0011
0101
0111
1001
1011
1101
1111
Fсднф = ¬P∧¬Q∧¬R ∨ ¬P∧¬Q∧R ∨ ¬P∧Q∧¬R ∨ ¬P∧Q∧R ∨ P∧¬Q∧¬R ∨ P∧¬Q∧R ∨ P∧Q∧¬R ∨ P∧Q∧R
Логическая cхема:

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

По таблице истинности:
PQRF
0001
0011
0101
0111
1001
1011
1101
1111
В таблице истинности нет набора значений переменных при которых функция ложна!

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

Рейтинг@Mail.ru

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