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


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

¬(Y→Z):
YZY→Z¬(Y→Z)
0010
0110
1001
1110

(¬(Y→Z))∧Y:
YZY→Z¬(Y→Z)(¬(Y→Z))∧Y
00100
01100
10011
11100

X∨((¬(Y→Z))∧Y):
XYZY→Z¬(Y→Z)(¬(Y→Z))∧YX∨((¬(Y→Z))∧Y)
0001000
0011000
0100111
0111000
1001001
1011001
1100111
1111001

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

XYZY→Z¬(Y→Z)(¬(Y→Z))∧YX∨¬(Y→Z)∧Y
0001000
0011000
0100111
0111000
1001001
1011001
1100111
1111001

Логическая схема:

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

По таблице истинности:
XYZF
0000
0010
0101
0110
1001
1011
1101
1111
Fсднф = ¬X∧Y∧¬Z ∨ X∧¬Y∧¬Z ∨ X∧¬Y∧Z ∨ X∧Y∧¬Z ∨ X∧Y∧Z
Логическая cхема:

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

По таблице истинности:
XYZF
0000
0010
0101
0110
1001
1011
1101
1111
Fскнф = (X∨Y∨Z) ∧ (X∨Y∨¬Z) ∧ (X∨¬Y∨¬Z)
Логическая cхема:

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

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

Рейтинг@Mail.ru

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