pvq (pvq((pvq)A-p) 入"p q TTFT TIF FT F T FITITT T FFTFp q ¬p p∨q (p∨q） ∧¬p （（p∨q）∧¬p） →q T T F T F T T F F T F T F T T T T T F F T F F T