Выразите логическое отношение эквивалентности в виде 3-КНФ формулы.