Logical Implies Operator

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