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



Совершенная конъюнктивная нормальная форма (СКНФ):
По таблице истинности:
ABCDF
00000
00011
00100
00110
01001
01010
01100
01110
10000
10010
10101
10111
11001
11011
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)
Логическая cхема:



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

Рейтинг@Mail.ru

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