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