שַעַר אִם־ורַק־אִם מחשבים ומערכות מידע
לועזית: if and only if gate

שער בעל שני מבואות המבצע את הפעולה הלוגית של שקילות, וערכו אמת רק כאשר ערכם של שני המבואות שלו זהה.