Writing a biconditional statement as a conditional statement and its converse and determining truth values