Доказать, что формула истинна.

[Slow]

Доказать, что формула
$\exists x \forall y (F(x,y)\to(\neg F(y,x)\to (F(x,x)\equiv F(y,y))))$
истинна в любой модели, содержащей не более трёх элементов

Не знаю даже как подступиться.

[Профессор Снэйп]

Рассуждение либо тупой перебор.

[Slow]

Мда. Получилось тупым перебором, но решение получилось громоздкое, думал можно как то по-другому.