The biconditional statement p « q is true when
(1) p is true and q is false
(2) p is false and q is true
(3) p and q have the same truth values
(4) q is true
Math Problem Solving Notes, Section 3-3
Here is the truth table for the biconditional statement.
Remember two things : "true implies true" is a true statement. "false implies ..." is always true.