((A→B)↔(¬A∨B)) の真理値表

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

プロパティ: トートロジー

真理値表
AB((A→B)↔(¬A∨B))
計算機で試す