如何在 Wolfram Alpha 中求解真值表？

Question

如何在 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))

或

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