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



Совершенная дизъюнктивная нормальная форма (СДНФ):
По таблице истинности:
ABCDF
00000
00010
00100
00111
01000
01010
01100
01111
10001
10011
10101
10111
11000
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



Совершенная конъюнктивная нормальная форма (СКНФ):
По таблице истинности:
ABCDF
00000
00010
00100
00111
01000
01010
01100
01111
10001
10011
10101
10111
11000
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) ∧ (¬A∨¬B∨¬C∨¬D)




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

Рейтинг@Mail.ru

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