Implies

Computes the logical OR of y and of the logical negation of x. Both inputs must be Booleans or numerics. If x is TRUE and y is FALSE, the function returns FALSE. Otherwise, it returns TRUE. The function negates x and then computes the logical OR of y and of the negated x.
Note  This function performs bit-wise operations on numeric inputs.

The connector pane displays the default data types for this polymorphic function.

x must be a Boolean value, or a number. It can be a scalar, array or cluster of numbers or Boolean values, array of clusters of numbers or Boolean values, and so on.
y must be a Boolean value, or a number. It can be a scalar, array or cluster of numbers or Boolean values, arrays of clusters of numbers or Boolean values, and so on.
x .implies. y? is the logical OR of y and of the logical negation of x.