p | q | r | ~q | ~r | q v r | p => (q v r) | p ^ ~r T T T F F T T F T T F F T T T T T F T T F T T F T F F T T F F T F T T F F T T F F T F F T T T F F F T T F T T F F F F T T F T F Where p => (q v r) and p ^ ~r are both true, ~q is false. Invalid argument.