(资料图片仅供参考)

1、 ∵A<=>B∴A和B具有相同的真值，即A双条件B永为真，即(A→B)∧(B→A) 。

2、A等价于B就能直接得出A双条件B。

3、就好比A→B<=>非A∨B一样，可以用真值表证明。