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


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

BA¬B¬A(¬B)|(¬A)B∨(¬B)((¬B)|(¬A))↓(B∨(¬B))A|B(¬A)≡(¬B)¬((¬A)≡(¬B))(A|B)|(¬((¬A)≡(¬B)))((¬B|¬A)↓(B∨¬B))∨((A|B)|¬(¬A≡¬B))
001101011011
011011010100
100111010100
110011001011

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

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

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

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

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

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

Рейтинг@Mail.ru

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