This question already has an answer here:

For instance, the given expression p ⊕ (p v q) In the problem I'm trying to solve. There's a Mathematica answer to this:

p → ¬ q

which is:

BooleanTable[{p, Implies[p, ! p]}, {p}]// TableForm

True   False
False  True

I would appreciate some guidance on how to approach this so I can do the rest on my own.


marked as duplicate by MarcoB, C. E., m_goldberg, user9660, Jason B. Jan 25 '16 at 9:00

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.


I think this is what you are looking for:

BooleanTable[Xor[p, p || q], {p}, {q}] // TableForm

Mathematica graphics

  • $\begingroup$ why did you use {p}, {q} instead of {p, q}? $\endgroup$ – wa7d Jan 25 '16 at 22:08
  • $\begingroup$ @wa7d The only reason is that with {p}, {q} I get the data in a nested list that I can pass directly to TableForm. With {p,q} the values are not sorted into columns and rows. $\endgroup$ – C. E. Jan 25 '16 at 22:28

Not the answer you're looking for? Browse other questions tagged or ask your own question.