上游充通大粤 SJTU School Of Software 2009-2-2 p q p p T T F T T F T F F T T T F F F T 软件学院SJTU School Of Software 2009-2-2 软件学院 p q p⊕q p→q T T F T T F T F F T T T F F F T