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