結果 : logical equivalence in discrete mathematics questions