I am trying to figure this out but have no clue where to even begin. Yes this is a question from a logic homework I have but I do not want an answer, just want to know how to approach this. I know all the logic concepts (demorgans law, dis-junction, conjunction, CDF formulas, etc...). I just don't know how to apply them here. Any ideas ? Here is the question.
“Bob has money. The car is silver. The car is fast. If the car is silver or if the car is fast, and Bob has money then Bob goes on vacation on a cruise.”
Formalize and prove or disprove this claim: Bob goes on vacation on a cruise.
Justify your answer using the resolution by refutation method.
I made this equation after reading some of the comments and answers:
A = Bob has money
B = The car is silver
F = The car is fast
C = Bob goes on vacation on a cruise
(B ∨ F) ∧ A → C