(p^~q) ^ r (T^~F) ^ F Plug in the given truth values (T^T) ^ F Negate false (F) to get true (T) (T) ^ F Use a truth table to evaluate T^T to get T F Use a truth table to evaluate T^F to get F
~(q v ~r) ~(F v ~F) Plug in the given truth values ~(F v T) Negate false (F) to get true (T) ~(T) Use a truth table to evaluate F v T to get T F Negate true (T) to get false (F)