結果 : iff symbol discrete math