∵A<=>B∴A和B具有相同的真值，即A双条件B永为真，即(A→B)∧(B→A) 。A等价于B就能直接得出A双条件B。就好比A→B<=>非A∨B一样，可以用真值表证明
符号
⇔不是联结符，它是用来说明A与B等值（A↔B为
重言式）的一种记法，因而⇔是
元语言符号
基本的等值式
双重否定律：
┐┐A⇔A
幂等律：
A∧A⇔A
A∨A⇔A
A∨B⇔B∨A
A∧B⇔B∧A
（A∧B）∧C⇔A∧（B∧C）
（A∨B）∨C⇔A∨（B∨C）
分配律：
A∨（B∧C）⇔（A∨B）∧（A∨C）
A∧（B∨C）⇔（A∧B）∨（A∧C）
┐（A∨B）⇔┐A∧┐B
┐（A∧B）⇔┐A∨┐B
A∨（A∧B）⇔A
A∧（A∨B）⇔A
零律：
A∨1⇔1
A∧0⇔0
A∨0⇔A
A∧1⇔A
A∨┐A⇔1
A∧┐A⇔0
蕴涵等值式：
A→B⇔┐A∨B
等价等值式：
A↔B⇔（A→B）∧（B→A）
假言易位：
A→B⇔┐B→┐A
等价否定等值式：
A↔B⇔┐A↔┐B
归谬论：
（A→B）∧（A→┐B）⇔┐A