Jika dan hanya jika

di mana: T: "true" atau "benar"; F: "false" atau "salah"