Which expression represents 'P is sufficient for Q'?
Q→PQ \rightarrow PQ→P
¬P→Q\neg P \rightarrow Q¬P→Q
P↔QP \leftrightarrow QP↔Q
P→QP \rightarrow QP→Q