Μια λογική έκφραση που καθορίζει μία ή περισσότερες συνθήκες που πρόγραμμα εισροές πρέπει να πληρούν προκειμένου να είναι έγκυρη.