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