### 1.2.2 Έλεγχος : ==, !=, >, >=, <, =<

==, !=, >, >=, <, =< είναι ενθηματικοί τελεστές.
a==b ελέγχει την ισότητα μεταξύ του a και του b και επιστρέφει 1 αν το a είναι ίσο με το b ,αλλιώς 0.
a!=b επιστρέφει 1 αν το a και το b είναι διαφορετίκα, αλλιώς 0 .
a>=b επιστρέφει 1 αν το a είναι μεγαλύτερο ή ισο από το b , αλλιώς 0.
a>b επιστρέφει 1 αν το a είναι μεγαλύτερο από το b , αλλιώς0.
a<=b επιστρέφει 1 αν το a είναι μικρότερο ή ισο από το b , αλλιώς 0.
a<b επιστρέφει 1 αν το a είναι μικρότερο από το b , αλλιώς 0.
Για να γράψουμε την αλγεβρική συνάρτηση έχοντας το ίδιο αποτέλεσμα με την if...then...else, χρησιμοποιούμε την λογική συνάρτηση ifte.
Παράδειγμα :

f(x):=ifte(x>0,true,false)

ορίζει τη λογική συνάρτηση f όπως η f(x)= true if x ∈ ]0;+∞[ and f(x)=false if x ∈ ]−∞;0].
Είσοδος :

f(0)==0

’Εξοδος :

1

Προσοχή !
a=b δεν είναι λογικός τύπος δεδομένου !!!!
a==b είναι λογικός τύπος δεδομένου.