Does anyone know how or have any advice on how to create a program for the Nspire CX CAS that will generate truth tables based on a statement ex. "p V ~q ? Is it even possible? I am learning about logic in college and thought it would be helpful if I could check my calculator instead of writing things down every time. If it is possible, I want to make it capable of handling conditional statements as well as self-contradictions, tautologies, and implications. I'm not really sure how to use TI-BASIC on the Nspire, so any help or ideas whatsoever would be appreciated. Thanks.