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