It's an interesting idea, but I don't think there's a need for an implication operator, because !A || (A && B) is logically equivalent to !A || B