Вопрос по В15 "Преобразование логических выражений" ЕГЭ по информатике

Уважаемые коллеги! Прошу поделиться опытом. Кто как объясняет деткам решение неоднородных систем логических уравнений. Решить надо за 10 минут. Составление таблицы истинности занимает куда больше времени. Способ, предложенный в книге, через числовой ряд сходящийся, во-первых не соответствует математической базе учащихся, во-вторых подходит лишь для однородных уравнений. Остальные разборы, встреченные мною в литературе, либо не универсальны, либо пропускают часть рассуждений, заменяя их интересным словосочетанием "очевидно что", которое, как известно, обычно обозначает обратное.