Biconditional (or Bi implication)

Biconditional (or Bi implication):
The biconditional connective <=> (read as IF AND ONLY IF) is defined by the following truth table.
Note: If p and q have the same truth value, the biconditional p <=> q is true; if p and q have opposite truth values then
p <=> q is false.