Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна и методом редукции

Обозначим высказывания: А = 'Я куплю новый телефон', В = 'Я хорошо работаю ', C = 'Мне оставят чаевые '.
Предложение " Я куплю новый телефон, если я буду хорошо работать и мне оставят чаевые " записываем так: B∧ C→A, предложение " Чаевые оставляют, только если я хорошо работаю " записывается так: B↔С. Предложение "Я отлично работал " несет тот же смысл здесь, что и предложение 'Я хорошо работал'.
Запишем теперь заданное в условии рассуждение в логической символике с использованием введенных высказываний:
B∧ C→A, B↔С, B ⊩ A.
Если рассуждение верно, то F= ((B∧ C→A) ∧(B↔С)∧B)→A=1 .
При B=0 получаем: F= ((0∧ C→A) ∧(0↔С)∧0)→A=0→A=1.
При B=1 получаем: F= ((1∧ C→A) ∧(1↔С)∧1)→A=
=(C→A) ∧(1↔С)→A.
При С=0 получаем: F=0→A∧1↔0→A.
При A=0 получаем: F=0→0∧1↔0→0=1∧0→0=0→0=1.
При A=1 получаем: F=0→1∧1↔0→0=1∧0→0=0→0=1.
При С=1 получаем: F=1→A∧1↔1→A=1→A∧1→A=
=1→A→A.
При A=0 получаем: F=1→0→0=0→0=1.
При A=1 получаем: F=1→1→1=1→1=1.
Мы доказали методом Куайна, что всегда
((B∧ C→A) ∧(B↔С)∧B)→A=1.
Это означает, что приведенное в условии рассуждение правильно.
Правильность рассуждения можно также доказать, построив таблицу истинности.
Проверим правильность рассуждения методом редукции.
Пусть ((B∧ C→A) ∧ (B↔С) ∧B) →A=0