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



Совершенная дизъюнктивная нормальная форма (СДНФ):
По таблице истинности:
ABCF
0001
0010
0101
0110
1001
1011
1100
1110
Fсднф = ¬A∧¬B∧¬C ∨ ¬A∧B∧¬C ∨ A∧¬B∧¬C ∨ A∧¬B∧C



Совершенная конъюнктивная нормальная форма (СКНФ):
По таблице истинности:
ABCF
0001
0010
0101
0110
1001
1011
1100
1110
Fскнф = (A∨B∨¬C) ∧ (A∨¬B∨¬C) ∧ (¬A∨¬B∨C) ∧ (¬A∨¬B∨¬C)




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

Рейтинг@Mail.ru

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