Помогите пожалуйста упростить
(A V B & ¬C) V (A V B & C) V C V​ A

Ответ:

A ∨ B ∨ C

Объяснение:

(A V B & ¬C) V (A V B & C) V C V​ A

Заменим знаки операций более привычными

(A + B · ¬C) + (A + B · C) + C +​ A

Раскрываем скобки - обычная алгебра

A + B¬C + A + BC + C +​ A

Группируем

A(1 + 1 + 1) + B(¬C + C) + C

1 + 1 + 1 + что угодно = всегда 1

¬С + С тоже всегда 1

A·1 + B·1 + C

A + B + C

Теперь можно знаки операций назад вернуть

A ∨ B ∨ C