упростите выражение и результат проверить таблицей истинности. A стрелка вверх (A стрелка вниз B над B палка) стрелка вверх (A следовательно Cстрелка вверх B над B палка)

спасибо

Упростим выражение.Построим таблицу истинности, показывающую сравнение исходного и конечного выражений, для чего соединим их операцией эквивалентности. Если оба выражения тождественны, итоговая колонка в таблице истинности должна содержать только единицы.Приведенная во вложении таблица истинности подтверждает тождественность выражений, следовательно, упрощение сделано верно.