Для функции ¬X1∧X4∨X2∧X3:


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

X1X4X2X3¬X1(¬X1)∧X4X2∧X3¬X1∧X4∨X2∧X3
00001000
00011000
00101000
00111011
01001101
01011101
01101101
01111111
10000000
10010000
10100000
10110011
11000000
11010000
11100000
11110011

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

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

По таблице истинности:
X1X4X2X3F
00000
00010
00100
00111
01001
01011
01101
01111
10000
10010
10100
10111
11000
11010
11100
11111
Fсднф = ¬X1∧¬X4∧X2∧X3 ∨ ¬X1∧X4∧¬X2∧¬X3 ∨ ¬X1∧X4∧¬X2∧X3 ∨ ¬X1∧X4∧X2∧¬X3 ∨ ¬X1∧X4∧X2∧X3 ∨ X1∧¬X4∧X2∧X3 ∨ X1∧X4∧X2∧X3
Логическая cхема:

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

По таблице истинности:
X1X4X2X3F
00000
00010
00100
00111
01001
01011
01101
01111
10000
10010
10100
10111
11000
11010
11100
11111
Fскнф = (X1∨X4∨X2∨X3) ∧ (X1∨X4∨X2∨¬X3) ∧ (X1∨X4∨¬X2∨X3) ∧ (¬X1∨X4∨X2∨X3) ∧ (¬X1∨X4∨X2∨¬X3) ∧ (¬X1∨X4∨¬X2∨X3) ∧ (¬X1∨¬X4∨X2∨X3) ∧ (¬X1∨¬X4∨X2∨¬X3) ∧ (¬X1∨¬X4∨¬X2∨X3)
Логическая cхема:

Наши друзья

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

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

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

Рейтинг@Mail.ru

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