! a || b

This boolean expression  ( NOT a OR b) has a very specific meaning in English: “if a is true, then b must be true”.
if a is true, so NOT a is false and so when b is true, the entire expression is true.
if a is false, so NOT a is true, and b can be either true of false.