6.3.26 Булева алгебра

условие: Проверить двумя способами, будут ли эквивалентны следующие формулы... a) составлением таблиц истинности; б) приведением формул к СДНФ или СКНФ c помощью эквивалентных преобразований. \[ x \rightarrow(y \leftrightarrow z) \text { и }(x \rightarrow y) \leftrightarrow(x \rightarrow z) \]