Η κατάσταση μιας έκφρασης ή μιας μεταβλητής (για παράδειγμα, όταν ένα αποτέλεσμα μπορεί να είναι ή αληθές ή ψευδές, ή ίσο ή διάφορο).