How to solve truth tables in Wolfram Alpha?

Question

How can I build a truth table out of this formula in Wolfram Alpha:

((A and(if B then C)) or (C and not A))

Answer 1

((A and(B Implies C)) or (C and not A))

or

((A and(C and not B)) or (C and not A))