I want to express the condition (in a where clause) where a value in one column mandates a condition must be met in another column. This is a logical implies (→) relation and is equivalent to “not A or B” (¬A∨B).
Is there an existing SQL operator or function for that? I fear the (not(A) or B) expression may confuse future maintainers of my code who do not have a CS background.
No such operator. Define such a function or use comments.