pvg pvg np pq-g (pvq)∧p q TITF F TF FITF TTTF TTFF T FFT Tp q ¬q p∨q (p∨q）∧ p （（p∨q）∧p） → ¬q T T F T T F T F T T T T F T F T F T F F T F F T