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