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