Упростите логическое выражение или укажите его результат (при его однозначности). Результат упрощения может содержать только операции инверсии, конъюнкции и дизъюнкции.
\(((( A | B) | (\bar A \lor \bar B) | (((\overline{C\land D}))|(C|D))) | (((C \downarrow C) \downarrow (D \downarrow D)) | ((\bar A \lor \bar B)|((\overline{A \land B})))\)
Примечание: Логическая операция 𝑋|𝑌 (штрих Шеффера) имеет следующую таблицу истинности:
| X |
Y |
X | Y |
| 0 |
0 |
1 |
| 0 |
1 |
1 |
| 1 |
0 |
1 |
| 1 |
1 |
0 |
Логическая операция 𝑋 ↓ 𝑌 (стрелка Пирса) имеет следующую таблицу истинности:
| X |
Y |
X ↓ Y |
| 0 |
0 |
1 |
| 0 |
1 |
0 |
| 1 |
0 |
0 |
| 1 |
1 |
0 |
Комментарий по вводу ответа: операнды вводятся большими латинскими буквами; логические операции обозначаются, соответственно как not, and и or. Скобки используются только для изменения порядка выполнения операций. Если порядок выполнения операций очевиден из их приоритетов – дополнительное использование скобок считается ошибкой. При однозначном ответе – истинный ответ обозначается как 1, а ложный как 0.
Пример записи ответа: (A or not B) and C