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


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

XYZX∧Y¬X(¬X)→Z(X∧Y)→(¬X→Z)
0000101
0010111
0100101
0110111
1000011
1010011
1101011
1111011


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

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

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

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

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

Рейтинг@Mail.ru

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