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