## Thinking Mathematically (6th Edition)

The modified expression is$\left( p\to q \right)\leftrightarrow \left[ \left( p\wedge q \right)\to \sim p \right]$, and this can be represented in the truth table as follows: