p | q | (p->q) | p∧(p->q) | p∧(p->q) → q------------------------------------------------T | T | T | T | TT | F | F | F | TF | T | T | F | TF | F | T | F | T