постройте таблицу истинности логического выражения. Пользуясь таблицей, приведите выражение к СДНФ и СКНФ, 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=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=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)