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