Задача МатЛогика

Исчисление высказываний
1)Записать рассуждение в логической символике
2)Проверить правильность рассуждения методом Куайна
3)Проверить правильность рассуждения методом редукции
4)Проверить правильность рассуждения методом рeзолюций
Само высказывание:
"Если бы у нее было много денег, она бы ездила в институт на такси и тогда бы никогда не опаздывала. Она постоянно опаздывает. Значит, у нее по-прежнему мало денег."
Предлагайте свои цены)