Вопрос по информатике:

Логическая функция F задаётся выражением (a ∧ ¬c) ∨ (¬a ∧ b ∧ c). Определите, какому столбцу таблицы истинности функции F соответствует каждая из переменных a, b, c.

В ответе напишите буквы a, b, c в том порядке, в котором идут соответствующие им столбцы (без разделителей).
КАК сократить выражение и вообще нужно ли ?? Как в принципе сокращать переменные когда, как в нашем случае, не с и с ??????