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