| Author |
Comment/Response |
Nicolas
|
 04/30/12 00:53am
Hello guys!
What would be the correct way to instruct Mathematica to output a truth table with the values for ALL intermediate steps AND final connective?
For example.
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!
URL: , |
|
