постройте таблицу истинности логического выражения. Пользуясь таблицей, приведите выражение к СДНФ и СКНФ, A ∨ B → (B → A & B)
A B B → A & B A ∨ B A ∨ B → (B → A & B)
0 0 1 0 1
0 1 0 1 0
1 0 1 1 1
1 1 1 1 1
Теперь можно привести выражение к СДНФ, используя строки таблицы, где функция равна 1:
СДНФ: (~A & ~B) ∨ (A & B) ∨ (A & ~B & B)
Также можно привести выражение к СКНФ, используя строки таблицы, где функция равна 0:
СКНФ: (¬A ∨ ¬B) & (A ∨ ¬B) & (A ∨ B)
Где ошибка?
постройте таблицу истинности логического выражения. Пользуясь таблицей, приведите выражение к СДНФ и СКНФ, A ∨ B → (B → A & B)
A B B → A & B A ∨ B A ∨ B → (B → A & B)
0 0 1 0 1
0 1 0 1 0
1 0 1 1 1
1 1 1 1 1
Теперь можно привести выражение к СДНФ, используя строки таблицы, где функция равна 1:
СДНФ: (~A & ~B) ∨ (A & B) ∨ (A & ~B & B)
Также можно привести выражение к СКНФ, используя строки таблицы, где функция равна 0:
СКНФ: (¬A ∨ ¬B) & (A ∨ ¬B) & (A ∨ B)
Где ошибка?
A B B → A & B A ∨ B A ∨ B → (B → A & B)
0 0 1 0 1
0 1 0 1 0
1 0 1 1 1
1 1 1 1 1
Теперь можно привести выражение к СДНФ, используя строки таблицы, где функция равна 1:
СДНФ: (~A & ~B) ∨ (A & B) ∨ (A & ~B & B)
Также можно привести выражение к СКНФ, используя строки таблицы, где функция равна 0:
СКНФ: (¬A ∨ ¬B) & (A ∨ ¬B) & (A ∨ B)
Где ошибка?
Похожие вопросы
Не можешь разобраться в этой теме?
Обратись за помощью к экспертам
Гарантированные бесплатные доработки
Быстрое выполнение от 2 часов
Проверка работы на плагиат
Интересные статьи из справочника
Поможем написать учебную работу
Отвечай на вопросы, зарабатывай баллы и трать их на призы.
Подробнее
Подробнее
Ошибка в данной таблице истинности в строке для значений A=0, B=0. В данной строке значение B → A & B должно быть равно 1, так как B имеет значение 0. Таким образом, исправленная таблица будет выглядеть следующим образом:
A B B → A & B A ∨ B A ∨ B → (B → A & B)
0 0 1 0 1
0 1 0 1 1
1 0 0 1 1
1 1 1 1 1
Соответственно, после исправления таблицы истинности, СДНФ и СКНФ будут следующими:
СДНФ: (~A & B) ∨ (A & B) ∨ (A & ~B)
СКНФ: (¬A ∨ B) & (A ∨ B) & (A ∨ ¬B)