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