Таблица истинности для функции XVY→(X→Z):


Промежуточные таблицы истинности:
X→Z:
XZX→Z
001
011
100
111

XVY→(X→Z):
XVYXZX→ZXVY→(X→Z)
00011
00111
01001
01111
10011
10111
11000
11111

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

XVYXZX→ZXVY→(X→Z)
00011
00111
01001
01111
10011
10111
11000
11111


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

По таблице истинности:
XVYXZF
0001
0011
0101
0111
1001
1011
1100
1111
Fсднф = ¬XVY∧¬X∧¬Z ∨ ¬XVY∧¬X∧Z ∨ ¬XVY∧X∧¬Z ∨ ¬XVY∧X∧Z ∨ XVY∧¬X∧¬Z ∨ XVY∧¬X∧Z ∨ XVY∧X∧Z

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

По таблице истинности:
XVYXZF
0001
0011
0101
0111
1001
1011
1100
1111
Fскнф = (¬XVY∨¬X∨Z)

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

Рейтинг@Mail.ru

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