Таблица истинности для вектора значений {1010101110001}:


Т.к. вектор значений неполон - остальные значения функции будут доопределены нулями!
Новый вектор значений {1010101110001000}


Совершенная дизъюнктивная нормальная форма (СДНФ):
По таблице истинности:
ABCDF
00001
00010
00101
00110
01001
01010
01101
01111
10001
10010
10100
10110
11001
11010
11100
11110
Fсднф = ¬A∧¬B∧¬C∧¬D ∨ ¬A∧¬B∧C∧¬D ∨ ¬A∧B∧¬C∧¬D ∨ ¬A∧B∧C∧¬D ∨ ¬A∧B∧C∧D ∨ A∧¬B∧¬C∧¬D ∨ A∧B∧¬C∧¬D
Логическая cхема:


Совершенная конъюнктивная нормальная форма (СКНФ):
По таблице истинности:
ABCDF
00001
00010
00101
00110
01001
01010
01101
01111
10001
10010
10100
10110
11001
11010
11100
11110
Fскнф = (A∨B∨C∨¬D) ∧ (A∨B∨¬C∨¬D) ∧ (A∨¬B∨C∨¬D) ∧ (¬A∨B∨C∨¬D) ∧ (¬A∨B∨¬C∨D) ∧ (¬A∨B∨¬C∨¬D) ∧ (¬A∨¬B∨C∨¬D) ∧ (¬A∨¬B∨¬C∨D) ∧ (¬A∨¬B∨¬C∨¬D)
Логическая cхема:



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

Рейтинг@Mail.ru

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