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