Выражение и результат проверить таблицей истинности. a стрелка вверх (a стрелка вниз b над b палка) стрелка вверх (a следовательно cстрелка вверх b над b палка)

Упростим выражение.

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

Приведенная во вложении таблица истинности подтверждает тождественность выражений, следовательно, упрощение сделано верно.