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
Either you can type the if B then C as "C and not B" or "B implies C"
