Biimplikasjon/Biconditional� ↔
� (A
↔ B)� har samme
sannhetsverditabell����
����������������
som� ((A→B) � (B→A))
���������������
�hvis og bare hvis��
����������������� (forkortet hviss)
���������������
oversettes med ↔
![endif]>![if>