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


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

XZYX≡Z¬YX∧(¬Y)(X≡Z)→(X∧¬Y)
0001100
0011000
0100101
0110001
1000111
1010001
1101111
1111000

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

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

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

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

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

Наши друзья

Качественное решение задач курсовых работ, РГЗ по техническим предметам.
botaniks.ru

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

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

Рейтинг@Mail.ru

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