אם ורק אם (נהוג לכתוב : אםם, או באנגלית : iff) זהו קשר לוגי לפיו - הפסוק אמת רק אם שני חלקי הפסוק אמת, מסמנים A <-> B כלומר : אם A אז B וכן אם B אז A
את התנאים הלוגיים הנ"ל מכנים גם כתנאי "הכרחי ומספיק" קרי : נאמר על תנאי A שהוא "הכרחי ומספיק" עבור תנאי B כאשר יש קשר של אם ורק אם ביניהם. הכרחי קיום A לקיום B ומספיק קיום A לקיום B.
טבלת האמת עבור אםם :
A=FALSE B=FALSE (A <-> B) = TRUE
A=FALSE B=TRUE (A <-> B) = FALSE
A=TRUE B=FALSE (A <-> B) = FALSE
A=TRUE B=TRUE (A <-> B) = TRUE