(q V r) ↔ ~p Replace p by T, q by F, and r by F (F V F) ↔ ~T Replace F V F by F and replace ~T by F F ↔ F Biconditional is true whenever and only whenever both sides of ↔ , so the answer is T Edwin