First do this: (~p \/ q) /\ ~r T T T T T F T F T T F F F T T F T F F F T F F F Then get the ~ just before a letter (~p \/ q) /\ ~r FT T FT FT T TF FT F FT FT F TF TF T FT TF T TF TF F FT TF F TF Erase the ones that we have already finished with (~p \/ q) /\ ~r F T F F T T F F F F F T T T F T T T T F F T F T Now put the ones under the V (~p \/ q) /\ ~r F T T F F T T T F F F F F F F T T T T F T T T T T T F F T T F T Erase the ones we've used: (~p \/ q) /\ ~r T F T T F F F T T F T T T F T T Now put the ones under the /\ (~p \/ q) /\ ~r T F F T T T F F F F F T T F F T T T T F F T T T Erase the ones we've used: (~p \/ q) /\ ~r F T F F F T F T Edwin