Logika IF występuje w arkuszach kalkulacyjnych, przepływach pracy, regułach dostępu i drzewach decyzyjnych stosowanych w politykach.
Logika IF oznacza: jeśli warunek jest prawdziwy, wykonaj jedno działanie; w przeciwnym razie wykonaj inne. Pułapka egzaminacyjna polega na pomyleniu gałęzi wykonywanej wtedy, gdy warunek jest fałszywy.