6.3.26 Boolean Algebra

Condition: check in two ways, whether the following formulas ... a) will be equivalent to compilation of truth tables; b) bringing the formulas to the SDNF or SKNF using equivalent transformations. \ [X \ Rightarrow (Y \ LeftRightarrow Z) \ Text {and} (X \ Rightarrow Y) \ LeftRightarrow (X \ Rightarrow Z) \]