离散数学等价等值式公式的证明.

∵AB
∴A和B具有相同的真值,即A双条件B永为真,即(A→B)∧(B→A)
少年,这是定义!你让我如何证明.A等价于B就能直接得出A双条件B.、
就好比A→B非A∨B一样,可以用真值表证明
A B A→B B→A A双条件B
0 0 1 1 1
0 1 1 0 0
1 0 0 1 0
1 1 1 1 1
显然,只有A,B的真值相同,A双条件B的真值才为1