SolvingTruth tables in Wolfram Alpha in natural language

Questions
,
1

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))

Thanks in advance

Lorenz

2

Either you can type the if B then C as “C and not B” or “B implies C”