По логической схеме составить логическую функцию

черта сверху обозначает инвертирование (отрицание)

| - логическое или

& - логическое и

При желании это выражение можно упростить

Примерно так

Тут можно остановиться, поскольку в этом выражении идет объединение множеств (А) и (не А) которое всегда будет давать истину, которая после будет проинвертирована.

То есть значением такой функции при любых значениях переменных будет ЛОЖЬ.

Таблица истинности в доказательство в ниже