A⥽(B∨¬B)