Условие:
Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна и методом редукции.
Я куплю новый телефон, если я буду хорошо работать и мне оставят чаевые. Чаевые оставляют, только если я хорошо работаю. Я отлично работал. Значит я приобрету новый телефон.

предложение " Чаевые оставляют, только если я хорошо работаю " записывается так: Предложение "Я отлично работал " несет тот же смысл здесь, что и предложение 'Я хорошо работал'.