Объяснение:
черта сверху обозначает инвертирование (отрицание)
| - логическое или
& - логическое и
При желании это выражение можно упростить
Примерно так
Тут можно остановиться, поскольку в этом выражении идет объединение множеств (А) и (не А) которое всегда будет давать истину, которая после будет проинвертирована.
То есть значением такой функции при любых значениях переменных будет ЛОЖЬ.
Таблица истинности в доказательство в ниже
