Упростите выражение и результат проверить таблицей истинности. A стрелка вверх (A стрелка вниз B над B палка) стрелка вверх (A следовательно Cстрелка вверх B над B палка)
Это же насколько надо в предмете не разбираться, чтобы не знать названий логических операций и не суметь набрать на клавиатуре хотя бы знаки ^ и v ?
Упростим выражение. Построим таблицу истинности, показывающую сравнение исходного и конечного выражений, для чего соединим их операцией эквивалентности. Если оба выражения тождественны, итоговая колонка в таблице истинности должна содержать только единицы. Приведенная во вложении таблица истинности подтверждает тождественность выражений, следовательно, упрощение сделано верно.