(¬¬A↔A) 的真值表

(¬¬A↔A)

属性: 重言式

真值表
A(¬¬A↔A)
假真
真真
在计算器中尝试