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