A⥽(B∨¬B)

برابر انگلیک (انگلیسی): S2