Таблица истинности для функции ¬((¬(¬B→B)⊕(¬A⊕¬B))⊕(¬(A≡A)→¬(A⊕¬B))):


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

BA¬B(¬B)→B¬A(¬A)⊕(¬B)¬((¬B)→B)(¬((¬B)→B))⊕((¬A)⊕(¬B))A≡AA⊕(¬B)¬(A≡A)¬(A⊕(¬B))(¬(A≡A))→(¬(A⊕(¬B)))((¬((¬B)→B))⊕((¬A)⊕(¬B)))⊕((¬(A≡A))→(¬(A⊕(¬B))))¬((¬(¬B→B)⊕(¬A⊕¬B))⊕(¬(A≡A)→¬(A⊕¬B)))
001010111100101
011001101001110
100111011001101
110100001100110

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

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

По таблице истинности:
BAF
001
010
101
110
Fсднф = ¬B∧¬A ∨ B∧¬A
Логическая cхема:

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

По таблице истинности:
BAF
001
010
101
110
Fскнф = (B∨¬A) ∧ (¬B∨¬A)
Логическая cхема:

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

Рейтинг@Mail.ru

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