# Definition:Biconditional/Truth Function

The biconditional connective defines the truth function $f^\leftrightarrow$ as follows:
 $\ds \map {f^\leftrightarrow} {\F, \F}$ $=$ $\ds \T$ $\ds \map {f^\leftrightarrow} {\F, \T}$ $=$ $\ds \F$ $\ds \map {f^\leftrightarrow} {\T, \F}$ $=$ $\ds \F$ $\ds \map {f^\leftrightarrow} {\T, \T}$ $=$ $\ds \T$