Sanningstabell för ((A→B)↔(¬A∨B))

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

Egenskaper: Tautologi