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