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