∵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⇔AA∨A⇔A交换律:A∨B⇔B∨AA∧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)⇔AA∧(A∨B)⇔A零律:A∨1⇔1A∧0⇔0同一律:A∨0⇔AA∧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