Как решаются такие задачи?

Для решения нужно применять правила логики и преобразования выражений. Это позволяет упрощать формулы и сравнивать их.