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