結果 : what is logical equivalence in discrete structure