The formula given in the title of the following caption is slightly misleading; what the text is describing is more like ((A→B)∧(¬A→B))→B.
Asian_Fever Asian_O_faces