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


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

XYZX→YX→Y→Z
00010
00111
01010
01111
10001
10101
11010
11111


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

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

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

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

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

Рейтинг@Mail.ru

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