Информатика, ЕГЭ, Алгебра логики, Задача 15, Замена импликации на дизъюнкцию с