What would be the correct way to instruct Mathematica to output a truth table with the values for ALL intermediate steps AND final connective?
If I have (p and Notq)-> Not s
I would like to output a truth table with the following columns:
p, q, s, not q, not s, (p and Notq), (p and Notq)-> Not s
Thanks a lot for your help!