A boolean algebra expression such that a → b is true unless a is true and b is false.

Equivalent expression using basic operations:

(a ∧ b) ∨ ¬b

Truth Table

1 → 1 = 1
1 → 0 = 0
0 → 1 = 1
0 → 0 = 1

Plain English

This can be thought of as if a then b. This statement is only broken (false) when a is true and b is false.