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