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