I just have a quick question about the statement in the title.
(p <-> q) AND NOT q
If I was to find the truth statement from that.
How am I to break the (p <-> q) down into a (p AND q) type statement first?
because I assume that if I can get the q out of there, then q AND NOT q together will = False.
And then any AND statement with a false in it is inevitably False.