p q p-q-q→-p-p∧-q T T TTTF TFTT FFF F TF FFTp q ¬p ¬q ¬p→q ¬q→¬p ¬p∧¬q T T F F T T F T F F T T F F F T T F T T F F F T T F T T