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