p q ~p ~q p ^ ~q ~p --> (p ^ ~q) -------------------------------------------------------------- T T F F F T T F F T T T F T T F F F F F T T F F