Для функции F≡X∧(¬Y∨Z):


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

FXYZ¬Y(¬Y)∨ZX∧((¬Y)∨Z)F≡X∧(¬Y∨Z)
00001101
00011101
00100001
00110101
01001110
01011110
01100001
01110110
10001100
10011100
10100000
10110100
11001111
11011111
11100000
11110111


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

По таблице истинности:
FXYZF
00001
00011
00101
00111
01000
01010
01101
01110
10000
10010
10100
10110
11001
11011
11100
11111
Fсднф = ¬F∧¬X∧¬Y∧¬Z ∨ ¬F∧¬X∧¬Y∧Z ∨ ¬F∧¬X∧Y∧¬Z ∨ ¬F∧¬X∧Y∧Z ∨ ¬F∧X∧Y∧¬Z ∨ F∧X∧¬Y∧¬Z ∨ F∧X∧¬Y∧Z ∨ F∧X∧Y∧Z

Это интересно...

Наши контакты

Рейтинг@Mail.ru

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