Hvilken af følgende beskriver bedst, hvornår den bikonditionelle operator (↔) returnerer sand?