Простой вопрос по матлогике

[dQ]

Добрый день )

Надо доказать эквивалентность в исчислении высказываний
С помощью теорем я привел к виду D=D, правильно?
Необходимо ли доказательство используемых теорем?

Как еще можно доказать такую эквивалентность?
Может "от противного"?

[Brukvalub]

Можно еще построить таблицы истинности для левой и правой частей тождества, то есть определить, истинным или ложным будет высказывание при всевозможных вариантах истинности или ложности его аргументов. Если таблицы совпадут, то тождество будет доказано, в противном случае оно будет неверным. Ваше доказательство также верно. Необходимость док-ва теорем зависит от содержания курса лекций - если они были доказаны в курсе лекций, то зачем доказывать их вновь?

[dQ]

Спасибо