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


Промежуточные таблицы истинности:
¬Y:
Y¬Y
01
10

(¬Y)∧Z:
YZ¬Y(¬Y)∧Z
0010
0111
1000
1100

¬Z:
Z¬Z
01
10

Y↓(¬Z):
YZ¬ZY↓(¬Z)
0010
0101
1010
1100

((¬Y)∧Z)⊕(Y↓(¬Z)):
YZ¬Y(¬Y)∧Z¬ZY↓(¬Z)((¬Y)∧Z)⊕(Y↓(¬Z))
0010100
0111010
1000100
1100000

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

YZ¬Y(¬Y)∧Z¬ZY↓(¬Z)(¬Y∧Z)⊕(Y↓¬Z)
0010100
0111010
1000100
1100000

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

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

По таблице истинности:
YZF
000
010
100
110
В таблице истинности нет набора значений переменных при которых функция истинна!

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

По таблице истинности:
YZF
000
010
100
110
Fскнф = (Y∨Z) ∧ (Y∨¬Z) ∧ (¬Y∨Z) ∧ (¬Y∨¬Z)
Логическая cхема:

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

Рейтинг@Mail.ru

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