6.3.26 Boolean algebra

condition: Check in two ways whether the following formulas are equivalent... a) by compiling truth tables; b) reducing formulas to SDNF or SCNF using equivalent transformations. \[ x \rightarrow(y \leftrightarrow z) \text { and }(x \rightarrow y) \leftrightarrow(x \rightarrow z) \]