The logical implication operator returns true if the left and right-hand side expressions evaluate to be true, or if the left-hand expression is false.