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


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

XYZX∧YX→Z(X∧Y)→(X→Z)
000011
001011
010011
011011
100001
101011
110100
111111


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

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

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

Рейтинг@Mail.ru

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