Original: It gives the functional value true if both functional arguments have the same logical value, and false if they are different.
Simplified: Otherwise (when they are different) it returns false.