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