O expresie logică specifică unul sau mai multe condiţii, acest program ieşiri trebuie să le îndeplinească pentru ca programul să fie corecte.