Projektowanie formuł wykorzystujących sprawdzanie warunków