Как мне упростить эту формулу дальше?

К сожалению, без самой формулы и попытки упрощения, которую вы прикрепили, я не могу дать конкретного совета. Однако, в общем случае для упрощения формулы можно использовать следующие методы:

1. Применение законов математики, таких как дистрибутивность, ассоциативность, коммутативность и т. д.
2. Факторизация выражений и сокращение общих множителей.
3. Переход к эквивалентным формам записи, если это упростит вычисления.
4. Использование тригонометрических и логарифмических тождеств.
5. Приведение подобных членов.

Если у вас есть конкретная формула и попытка упрощения, пожалуйста, прикрепите их, и я постараюсь помочь вам дальше.

Два наблюдения: 
 1) изначальная формула имеет вид (a=>b)*(b=>a). 
 2) b = !a 
 
 Отсюда в одно действие видно, что она вырождается в ложь: (a=>!a)*(!a=>a) 
 
 Для второго наблюдения надо применить какой-то там закон, что !x+xy=!x+y