это не логическое уравнение, т.к. выражение ни к чему не приравнено.

но мы можем построить таблицу истинности для всех возможных решений и анализировать получившийся результат.

так как у нас логическое сложение одной скобки и другой, то, чтобы выражение станет истинным тогда, когда хотя бы одна из них будет истинна.

первая подскобка становится истинной при любых значениях х и у (см. пункт 1а), но их логическое умножение даёт единицу при [не]х =0 (см. пункт 1b)

вторая подскобка становится истинной только при х=0 и у=0 (пункт 2а) и второе логическое умножение даёт единицу только при [не]х = 0.

при построении общей таблицы истинности видно, что обе скобки не могут дать единицы при одинаковом значении х и у, поэтому для решения можно взять первую в таблице звёздочку (*) для решения.

отсюда всё выражение истинно, если х=0 и у=0.