For two given simple statements P and Q, if they are connected with the logical connectivity 'if and only if', then the compund statement is called biconditional statement.
Now,
P: x+4=13
q: x=9
Then, their biconditional statement is x+4=13 if an donly if x=9
Hence the correct answer is (c)