Discrete Mathematics for Dummies

The compound statement P <=> Q is only true when both P AND Q are the same.

P <=> Q can be said in the following ways:

P is equivalent to Q

P if and only if Q

P is a necessary and sufficient condition for Q