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

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

Eigenschappen: Tautologie