Дано логическое выражение:

.
После его упрощения получится логическое выражение …
Символом «\/» обозначается операция логического сложения (ИЛИ),
символом «/\» обозначается операция логического умножения (И),
символом «¬» обозначается операция отрицания (НЕ).