Список литературы
Генератор кроссвордов
Генератор титульных листов
Таблица истинности ONLINE
Прочие ONLINE сервисы
|
Таблица истинности для функции ((B∧¬A)|(B|A))→(¬(¬C→B)∨¬(¬C⊕¬A)):
Общая таблица истинности:B | A | C | ¬A | B∧(¬A) | B|A | (B∧(¬A))|(B|A) | ¬C | (¬C)→B | (¬C)⊕(¬A) | ¬((¬C)→B) | ¬((¬C)⊕(¬A)) | (¬((¬C)→B))∨(¬((¬C)⊕(¬A))) | ((B∧¬A)|(B|A))→(¬(¬C→B)∨¬(¬C⊕¬A)) | 0 | 0 | 0 | 1 | 0 | 1 | 1 | 1 | 0 | 0 | 1 | 1 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 1 | 1 | 1 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 1 | 1 | 1 | 1 | 0 | 0 | 1 | 1 | 1 | 0 | 1 | 1 | 0 | 0 | 1 | 1 | 1 | 1 | 0 | 1 | 1 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 0 | 0 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 1 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 1 | 1 | 1 | 0 | 0 | 0 | 1 | 0 | 1 | 0 | 0 | 1 | 1 | 1 |
Логическая схема:
Совершенная дизъюнктивная нормальная форма (СДНФ):
По таблице истинности: B | A | C | F | 0 | 0 | 0 | 1 | 0 | 0 | 1 | 0 | 0 | 1 | 0 | 1 | 0 | 1 | 1 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 1 | 1 | 1 | 1 | 0 | 0 | 1 | 1 | 1 | 1 |
F сднф = ¬B∧¬A∧¬C ∨ ¬B∧A∧¬C ∨ ¬B∧A∧C ∨ B∧¬A∧¬C ∨ B∧¬A∧C ∨ B∧A∧C Логическая cхема:
Совершенная конъюнктивная нормальная форма (СКНФ):
По таблице истинности: B | A | C | F | 0 | 0 | 0 | 1 | 0 | 0 | 1 | 0 | 0 | 1 | 0 | 1 | 0 | 1 | 1 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 1 | 1 | 1 | 1 | 0 | 0 | 1 | 1 | 1 | 1 |
F скнф = (B∨A∨¬C) ∧ (¬B∨¬A∨C) Логическая cхема:
|
|
|
|
|
Вход на сайт
Информация
В нашем каталоге
Околостуденческое
|