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