((A→B)↔(¬A∨B)) 的真值表

((A→B)↔(¬A∨B))

属性: 重言式

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