The biconditional PleftrightarrowQP \\leftrightarrow QPleftrightarrowQ is False when:
PPP and QQQ have different truth values
PPP and QQQ are both false
PPP and QQQ are both true
Never