Условие задачи
Доказать тождество: x→(y⊕z)≡(x→y)⊕(x→z)
Проверить, будут ли эквивалентны следующие формулы двумя способами. Привести первую формулу к СДНФ, СКНФ, построить многочлен Жегалкина. Какой теоретико-множественной операции соответствует первая формула?
Ответ
Первый способ. Построим таблицу истинности для левой и правой части доказываемого тождества: