logicwolfram-mathematicadiscrete-mathematicswolframalpha

How to solve truth tables in Wolfram Alpha?


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

Solution

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

    or

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